Stone duality for lattices
To every lattice \(L\) one can assign a triple \((X_L, \perp , Y_L)\), where \(X_L\) and \(Y_L\) are the spaces of all ideals or of all filters of \(L\) and \(\perp \) is a binary relation between \(X_L\) and \(Y_L\). It was proven by \textit{R. I. Goldblatt} [Bull. Lond. Math. Soc. 7, 45-48 (1975; Zbl 0301.06006)] that for an ortholattice \(L\) and the relation: \(x\perp y\) iff \(\exists a \in x\), \(\neg a \in y\) (where both of \(X_L\), \(Y_L\) are filter spaces) these triples \((X_L, \perp , Y_L)\) are the dual objects of ortholattices. The present authors show that when taking \(X_L\) to be the filter space and \(Y_L\) to be the ideal space of an arbitrary lattice \(L\) and the relation to be defined by \(x\perp y\) iff \(x\cap y \not = \emptyset \), then the triples \((X_L, \perp , Y_L)\) are dual objects, and they describe the topological space induced by these duals.
- Four-valued logic
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Stone-type representations and dualities for varieties of bisemilattices
- Stone almost distributive lattices
- A categorical duality for semilattices and lattices
- Canonical extensions of lattices are more than perfect
- Algorithmic correspondence and canonicity for non-distributive logics
- Duality results for (co)residuated lattices
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- A topological duality for posets
- Current trends in substructural logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- A topological duality for dcpos
- B-frame duality
- Topological representation of double Boolean algebras
- The distributivity on bi-approximation semantics
- scientific article; zbMATH DE number 5856574 (Why is no real title available?)
- 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
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
- A Sahlqvist theorem for substructural logic
- Modal Logics of Some Hereditarily Irresolvable Spaces
- St. Alasdair on Lattices Everywhere
- Modal translation of substructural logics
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Co-Stone residuated lattices
- On Stone Lattices
- On lattices whose congruences form Stone lattices
- Bounded lattice expansions
- Representations and dualities for bounded lattices
- Choice-free topological duality for implicative lattices and Heyting algebras
- Implicational tonoids and their representations
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
- Sub-sub-intuitionistic logic
- Relational semantics for Kleene logic and action logic
This page was built for publication: Stone duality for lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272119)
