A topological representation theory for lattices

DOI10.1007/BF02485369zbMath0382.06010OpenAlexW2018202519MaRDI QIDQ1247989

Publication date: 1978

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

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

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Stone spaces (Boolean spaces) and related structures (06E15) Topological lattices (06B30)

Related Items (62)

Canonical extensions of lattices are more than perfect ⋮ Current trends in substructural logics ⋮ On Tamari lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Dual digraphs of finite semidistributive lattices ⋮ Characterizing fully principal congruence representable distributive lattices ⋮ Positive modal logic ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ Derived semidistributive lattices ⋮ Sublattices of associahedra and permutohedra ⋮ A fresh perspective on canonical extensions for bounded lattices. ⋮ Generalized topological representation for complete join-semilattices ⋮ 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. ⋮ General lattice theory: 1979 problem update ⋮ Positive modal logic beyond distributivity ⋮ 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 ⋮ Duality and canonical extensions for stably compact spaces ⋮ The number of coverings in four catalan lattices ⋮ Unities and negation: On the representation of finite lattices ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Topological duality and lattice expansions. I: A topological construction of canonical extensions. ⋮ The \(m\)-cover posets and their applications ⋮ TiRS graphs and TiRS frames: a new setting for duals of canonical extensions ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ A semantic hierarchy for intuitionistic logic ⋮ A topological representation of lattices ⋮ Congruence lattices of planar lattices ⋮ Cover-preserving order embeddings into Boolean lattices ⋮ Primes, irreducibles and extremal lattices ⋮ Bounded lattice expansions ⋮ A categorical duality for semilattices and lattices ⋮ A duality for Boolean algebras with operators ⋮ Canonical extensions and profinite completions of 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 ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ A relational semantics for the logic of bounded lattices ⋮ Autoreferential semantics for many-valued modal logics ⋮ Some combinatorial aspects of congruence lattice representations ⋮ The strong independence theorem for automorphism groups and congruence lattices of arbitrary lattices ⋮ Reconciliation of approaches to the construction of canonical extensions of bounded lattices ⋮ Subdirect decomposition of concept lattices ⋮ Kripke models for linear logic ⋮ Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic ⋮ A Logical Autobiography ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces ⋮ St. Alasdair on Lattices Everywhere ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality ⋮ Relational semantics for Kleene logic and action logic

Cites Work

This page was built for publication: A topological representation theory for lattices