Stone duality for lattices

DOI10.1007/s000120050024zbMath0902.06008OpenAlexW2065613054MaRDI QIDQ1272119

Chrysafis Hartonas, J. Michael Dunn

Publication date: 23 November 1998

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050024

zbMATH Keywords

dualityGalois connectionordered topological spaceStone space

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Topological lattices (06B30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (31)

Canonical extensions of lattices are more than perfect ⋮ Current trends in substructural logics ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ The distributivity on bi-approximation semantics ⋮ Duality results for (co)residuated lattices ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ A topological duality for dcpos ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Topological representation of double Boolean algebras ⋮ Unnamed Item ⋮ Four-valued logic ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ A “Reply” to My “Critics” ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Bounded lattice expansions ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ A categorical duality for semilattices and lattices ⋮ A topological duality for posets ⋮ Modal translation of substructural logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces ⋮ St. Alasdair on Lattices Everywhere ⋮ Relational semantics for Kleene logic and action logic

This page was built for publication: Stone duality for lattices