Pages that link to "Item:Q4358052"
From MaRDI portal
The following pages link to Completeness of global intuitionistic set theory (Q4358052):
Displayed 6 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)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← 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)