Pages that link to "Item:Q5095649"
From MaRDI portal
The following pages link to Stone duality for lattice expansions (Q5095649):
Displaying 11 items.
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I (Q1970594) (← links)
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II (Q1975160) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- B-frame duality (Q2689804) (← links)
- Discrete duality for lattices with modal operators (Q3120204) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)