A topological representation of lattices
From MaRDI portal
Publication:1193504
DOI10.1007/BF01190610zbMath0790.06005MaRDI QIDQ1193504
Publication date: 27 September 1992
Published in: Algebra Universalis (Search for Journal in Brave)
representation theoremscategorical equivalencelattice of congruencesdistributive bialgebra latticerepresentation of bounded lattices as closed concept latticestopological context
Related Items
Canonical extensions and Kripke-Galois semantics for non-distributive logics, Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings, Duality results for (co)residuated lattices, Duality for normal lattice expansions and sorted residuated frames with relations, Topological duality and algebraic completions, \(\Delta_1\)-completions of a poset., Positive modal logic beyond distributivity, B-frame duality, Topological representation of double Boolean algebras, Unnamed Item, Lattice logic as a fragment of (2-sorted) residuated modal logic, Distributive envelopes and topological duality for lattices via canonical extensions., Topological duality and lattice expansions. I: A topological construction of canonical extensions., Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators, Formal query systems on contexts and a representation of algebraic lattices, Bounded lattice expansions, A categorical duality for semilattices and lattices, Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains, Canonical extensions and ultraproducts of polarities, A topological duality for posets, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, A relational semantics for the logic of bounded lattices, Reconciliation of approaches to the construction of canonical extensions of bounded lattices, Modal Logics of Some Hereditarily Irresolvable Spaces, St. Alasdair on Lattices Everywhere, Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
Cites Work
- Subdirect decomposition of concept lattices
- Tensorial decomposition of concept lattices
- A topological representation theory for lattices
- Combinatorial theory.
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Topological representations of distributive lattices and Brouwerian logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
