The following pages link to (Q3902989):
Displaying 8 items.
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)