The following pages link to On the Blok-Esakia Theorem (Q5255793):
Displaying 10 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- (Q4556013) (← links)
- (Q4625704) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- Normal companions of intuitionistic modal logics (Q6148006) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
