Bounded distributive lattice expansions
From MaRDI portal
Publication:4827039
DOI10.7146/math.scand.a-14428zbMath1077.06008OpenAlexW1539618905MaRDI QIDQ4827039
Publication date: 15 November 2004
Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.7146/math.scand.a-14428
Related Items (65)
Priestley duality for MV-algebras and beyond ⋮ Stone Duality and the Recognisable Languages over an Algebra ⋮ Distributive Lattice-Structured Ontologies ⋮ Modal definability based on Łukasiewicz validity relations ⋮ Canonical extensions of bounded Archimedean vector lattices ⋮ Unnamed Item ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Complete congruences on topologies and down-set lattices ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Coalgebraic representations of distributive lattices with operators ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Disentangling structural connectives or life without display property ⋮ Topological duality and algebraic completions ⋮ A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras ⋮ Completely representable lattices ⋮ New perspectives on semi-primal varieties ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic ⋮ B-frame duality ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES ⋮ Quantum B-algebras ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Natural extensions and profinite completions of algebras ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Unnamed Item ⋮ Duality for double quasioperator algebras via their canonical extensions ⋮ MacNeille completions and canonical extensions ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Canonical extensions and relational completeness of some substructural logics ⋮ Tribute to Bjarni Jónsson ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Bounded lattice expansions ⋮ A Sahlqvist theorem for distributive modal logic ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Semi De Morgan logic properly displayed ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ A spectral-style duality for distributive posets ⋮ Canonicity in subvarieties of BL-algebras ⋮ A categorical duality for algebras of partial functions ⋮ Unnamed Item ⋮ Stone duality, topological algebra, and recognition. ⋮ Canonical extensions and ultraproducts of polarities ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A relational semantics for the logic of bounded lattices ⋮ Difference hierarchies and duality with an application to formal languages ⋮ Canonical extensions of locally compact frames ⋮ MacNeille completion and profinite completion can coincide on finitely generated modal algebras ⋮ A completion for distributive nearlattices ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ A topological duality for monotone expansions of semilattices
This page was built for publication: Bounded distributive lattice expansions
