The following pages link to (Q5623661):
Displayed 5 items.
- New operations in intuitionistic calculus (Q1132866) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)