Bounded lattice expansions

DOI10.1006/jabr.2000.8622zbMath0988.06003OpenAlexW2011700761MaRDI QIDQ5936163

John Harding, Mai Gehrke

Publication date: 10 July 2002

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

Full work available at URL: https://semanticscholar.org/paper/8823bd7916838575db7fb2765833634fc3788495

zbMATH Keywords

complete latticecanonical extension of a latticelattice embeddingpreservation of identities

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Structure theory of lattices (06B05)

Related Items

A representation theorem for infinite fuzzy distributive lattices ⋮ Canonical extensions of lattices are more than perfect ⋮ Linear Logic Properly Displayed ⋮ Relational semantics for full linear logic ⋮ Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Canonical extensions of bounded Archimedean vector lattices ⋮ Unnamed Item ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Boolean topological distributive lattices and canonical extensions ⋮ The convolution algebra ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Generalized Kripke frames ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ A fresh perspective on canonical extensions for bounded lattices. ⋮ A note on profinite completions and canonical extensions ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ Disentangling structural connectives or life without display property ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ CHOICE-FREE STONE DUALITY ⋮ Amalgamating poset extensions and generating free lattices ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Topological duality and algebraic completions ⋮ Labelled calculi for lattice-based modal logics ⋮ Some classes of abstract simplicial complexes motivated by module theory ⋮ The continuous weak order ⋮ A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras ⋮ \(\Delta_1\)-completions of a poset. ⋮ Positive modal logic beyond distributivity ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Unnamed Item ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Duality and canonical extensions for stably compact spaces ⋮ On canonicity of poset expansions ⋮ Natural extensions and profinite completions of algebras ⋮ Modularity is not canonical ⋮ Completions of \(\mu \)-algebras ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Canonical extensions of posets. ⋮ Topological duality and lattice expansions. I: A topological construction of canonical extensions. ⋮ Unnamed Item ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ MacNeille completions and canonical extensions ⋮ 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 ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Uniform interpolation and coherence ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ MacNeille transferability and stable classes of Heyting algebras ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Coalgebraic Completeness-via-Canonicity ⋮ A Sahlqvist theorem for distributive modal logic ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Generalising canonical extension to the categorical setting ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ Definable operators on stable set lattices ⋮ A spectral-style duality for distributive posets ⋮ Canonicity in subvarieties of BL-algebras ⋮ Canonical extensions and profinite completions of semilattices and lattices ⋮ Unnamed Item ⋮ Canonical extensions and ultraproducts of polarities ⋮ A topological duality for posets ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ Modal translation of substructural logics ⋮ Canonical extensions and relational representations of lattices with negation ⋮ Unnamed Item ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Canonical extensions, free completely distributive lattices, and complete retracts ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ Canonical extensions of locally compact frames ⋮ Residuation algebras with functional duals ⋮ Bilattice logic properly displayed ⋮ Unnamed Item ⋮ A completion for distributive nearlattices ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ Quasi-Nelson algebras and fragments ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces ⋮ St. Alasdair on Lattices Everywhere ⋮ Quantum monadic algebras ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some kinds of modal completeness
• Quantifiers on distributive lattices
• Lukasiewicz-Moisil algebras
• A topological representation of lattices
• A topological representation theory for lattices
• Stone duality for lattices
• On the canonicity of Sahlqvist identities
• Constructive canonicity in non-classical logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• A new semantics for positive modal logic
• Positive modal logic
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Extending Boolean operations
• Varieties of complex algebras
• Kripke models for linear logic
• The lattice of modal logics: an algebraic investigation
• The Order Structure of Stone Spaces and the T_D‐Separation Axiom
• The McKinsey axiom is not canonical
• Bounded distributive lattice expansions
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Bounded lattice expansions