The following pages link to Stone duality for lattices (Q1272119):
Displaying 35 items.
- Current trends in substructural logics (Q266641) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- On lattices whose congruences form Stone lattices (Q581430) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Four-valued logic (Q1422105) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- Stone almost distributive lattices (Q1879057) (← links)
- A categorical duality for semilattices and lattices (Q2024927) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← 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)
- A topological duality for posets (Q2520766) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- A topological duality for dcpos (Q2685552) (← links)
- B-frame duality (Q2689804) (← links)
- Topological representation of double Boolean algebras (Q2697416) (← links)
- (Q3076641) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic (Q4508285) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Co-Stone residuated lattices (Q5402954) (← links)
- On Stone Lattices (Q5563386) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
