Pages that link to "Item:Q636264"
From MaRDI portal
The following pages link to The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264):
Displaying 10 items.
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Modes, modals, and barycentric algebras: a brief survey and an additivity theorem (Q3099661) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- (Q4625704) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)