Canonical extensions and relational completeness of some substructural logics

DOI10.2178/jsl/1122038911zbMath1101.03021OpenAlexW1972417425MaRDI QIDQ5718685

Alessandra Palmigiano, J. Michael Dunn, Mai Gehrke

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1122038911

zbMATH Keywords

complete latticeperfect latticeKripke structureresiduated algebracompletion of a posetDedekind-Mac Neille completion

Mathematics Subject Classification ID

Partial orders, general (06A06) Complete lattices, completions (06B23) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

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 ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings ⋮ Embeddability into relational lattices is undecidable ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Complete congruences on topologies and down-set lattices ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Generalized Kripke frames ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Distributive and completely distributive lattice extensions of ordered sets ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Disentangling structural connectives or life without display property ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Amalgamating poset extensions and generating free lattices ⋮ Topological duality and algebraic completions ⋮ Labelled calculi for lattice-based modal logics ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Complete Abstractions and Subclassical Modal Logics ⋮ \(\Delta_1\)-completions of a poset. ⋮ B-frame duality ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ 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 ⋮ Quantum B-algebras ⋮ Unnamed Item ⋮ On canonicity of poset expansions ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Canonical extensions of posets. ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ Duality for double quasioperator algebras via their canonical extensions ⋮ TiRS graphs and TiRS frames: a new setting for duals of canonical extensions ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Residuated frames with applications to decidability ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Generalising canonical extension to the categorical setting ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Definable operators on stable set lattices ⋮ A spectral-style duality for distributive posets ⋮ Monotonic distributive semilattices ⋮ Canonicity in subvarieties of BL-algebras ⋮ A categorical duality for algebras of partial functions ⋮ Canonical extensions and profinite completions of semilattices and lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ A topological duality for posets ⋮ Modal translation of substructural logics ⋮ Canonical extensions and relational representations of lattices with negation ⋮ Unnamed Item ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A relational semantics for the logic of bounded lattices ⋮ Canonical extensions of locally compact frames ⋮ Unnamed Item ⋮ A completion for distributive nearlattices ⋮ Easkia Duality and Its Extensions ⋮ A topological duality for monotone expansions of semilattices

Cites Work

• Unnamed Item
• Softness of hypercoherences and MALL full completeness
• Constructive canonicity in non-classical logics
• Kripke semantics for modal substructural logics
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Bounded distributive lattice expansions
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Bounded lattice expansions
• A Kripke semantics for the logic of Gelfand quantales