Pages that link to "Item:Q4358052"
From MaRDI portal
The following pages link to Completeness of global intuitionistic set theory (Q4358052):
Displaying 9 items.
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- A natural interpretation of fuzzy sets and fuzzy relations (Q698758) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches (Q2498365) (← links)
- The Semantic Completeness of a Global Intuitionistic Logic (Q4393167) (← links)