Canonical extensions and relational completeness of some substructural logics
From MaRDI portal
Recommendations
- Completeness via canonicity for distributive substructural logics: a coalgebraic perspective
- scientific article; zbMATH DE number 1543335
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Kripke semantics for modal substructural logics
- Canonicity results of substructural and lattice-based logics
Cites work
- A Kripke semantics for the logic of Gelfand quantales
- Algebraic methods in philosophical logic
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Constructive canonicity in non-classical logics
- Kripke semantics for modal substructural logics
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Softness of hypercoherences and MALL full completeness
Cited in
(79)- Canonical extensions and relational representations of lattices with negation
- Quantified extensions of canonical propositional intermediate logics
- Embeddability into relational lattices is undecidable
- Canonical extensions and ultraproducts of polarities
- Kripke semantics for modal substructural logics
- _1-completions of a poset.
- Canonical extensions: an algebraic approach to Stone duality
- Definable operators on stable set lattices
- A categorical duality for algebras of partial functions
- A topological duality for monotone expansions of semilattices
- Poset products as relational models
- Canonical extensions of lattices are more than perfect
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Difference-restriction algebras of partial functions: axiomatisations and representations
- Algorithmic correspondence and canonicity for non-distributive logics
- Monotonic distributive semilattices
- Countably many weakenings of Belnap-Dunn logic
- Canonical extensions of locally compact frames
- A completion for distributive nearlattices
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- Algebraic modal correspondence: Sahlqvist and beyond
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Disentangling structural connectives or life without display property
- Quantum B-algebras
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Duality for double quasioperator algebras via their canonical extensions
- Canonical extensions and profinite completions of semilattices and lattices
- A topological duality for posets
- Complete congruences on topologies and down-set lattices
- Boolean topological distributive lattices and canonical extensions
- B-frame duality
- 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
- Relational semantics for full linear logic
- Categories: how I learned to stop worrying and love two sorts
- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- Complete abstractions and subclassical modal logics
- Canonicity results of substructural and lattice-based logics
- Positive fragments of relevance logic and algebras of binary relations
- Mereocompactness and Duality for Mereotopological Spaces
- Changing a Semantics: Opportunism or Courage?
- Completeness via canonicity for distributive substructural logics: a coalgebraic perspective
- Structural Completeness in Substructural Logics
- Algorithmic correspondence and canonicity for distributive modal logic
- scientific article; zbMATH DE number 1543335 (Why is no real title available?)
- Distributive and completely distributive lattice extensions of ordered sets
- Sahlqvist via translation
- On polarity frames: applications to substructural and lattice-based logics
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Canonical extensions of posets.
- Residuated frames with applications to decidability
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Theorems of Alternatives for Substructural Logics
- Constructive canonicity of inductive inequalities
- Modal translation of substructural logics
- A relational semantics for the logic of bounded lattices.
- Esakia duality and its extensions
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Canonical extensions and canonicity via dcpo presentations
- Linear Logic Properly Displayed
- Representations and dualities for bounded lattices
- 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
- Canonical extensions for congruential logics with the deduction theorem
- On canonicity of poset expansions
- Stone duality for relations
- Atomic Boolean lattice completions of ordered sets
- Unified inverse correspondence for LE-logics
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras
- Intuitionistic Sahlqvist theory for deductive systems
- Correspondence theory on vector spaces
- Generalising canonical extension to the categorical setting
- A spectral-style duality for distributive posets
- Generalized Kripke frames
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Canonicity in subvarieties of BL-algebras
This page was built for publication: Canonical extensions and relational completeness of some substructural logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718685)
