Pages that link to "Item:Q3534983"
From MaRDI portal
The following pages link to The Kuznetsov-Gerčiu and Rieger-Nishimura logics (Q3534983):
Displayed 6 items.
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)