Stone duality for lattices
From MaRDI portal
Publication:1272119
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
Representation theory of lattices (06B15) Topological lattices (06B30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
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
