Pages that link to "Item:Q1099155"
From MaRDI portal
The following pages link to Another proof of the strong completeness of the intuitionistic fuzzy logic (Q1099155):
Displaying 6 items.
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- First-order Gödel logics (Q2370370) (← links)
- On interplay of quantifiers in Gödel-Dummett fuzzy logics (Q2501163) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)