Pages that link to "Item:Q4168611"
From MaRDI portal
The following pages link to ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS (Q4168611):
Displaying 3 items.
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
