Modal translation of substructural logics
From MaRDI portal
Abstract: In an article dating back in 1992, Kosta Dov{s}en initiated a project of modal translations in substructural logics, aiming at generalizing the well-known G"{o}del-McKinsey-Tarski translation of intuitionistic logic into {�f S4}. Dov{s}en's translation worked well for (variants of) {�f BCI} and stronger systems ({�f BCW}, {�f BCK}), but not for systems below {�f BCI}. Dropping structural rules results in logic systems without distribution. In this article, we show, via translation, that every substructural (indeed, every non-distributive) logic is a fragment of a corresponding sorted, residuated (multi) modal logic. At the conceptual and philosophical level, the translation provides a classical interpretation of the meaning of the logical operators of various non-distributive propositional calculi. Technically, it allows for an effortless transfer of results, such as compactness, L"{o}wenheim-Skolem property and decidability.
Recommendations
Cites work
- A closer look at some subintuitionistic logics
- A lattice of normal modal logics
- A Sahlqvist theorem for substructural logic
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Algorithmic correspondence and canonicity for non-distributive logics
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Bi-approximation semantics for substructural logic at work
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Canonical extensions and relational completeness of some substructural logics
- Concept lattices and conceptual knowledge systems
- Discrete duality for lattices with modal operators
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Duality results for (co)residuated lattices
- Free modal algebras revisited: the step-by-step method
- Generalized Kripke frames
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Handbook of philosophical logic. Vol. 5
- scientific article; zbMATH DE number 125238 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 218501 (Why is no real title available?)
- scientific article; zbMATH DE number 927104 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- Intuitionistic logic and modality via topology
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Logics without the contraction rule
- Logics without the contraction rule and residuated lattices
- Modal companions of intermediate propositional logics
- Modal translations in substructural logics
- On closed elements in closure algebras
- On languages with two variables
- On the Decision Problem for Two-Variable First-Order Logic
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- Quantum logic as a dynamic logic
- Relation algebras as residuated Boolean algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Representation of lattices with modal operators in two-sorted frames
- Residuated frames with applications to decidability
- Residuated lattices. An algebraic glimpse at substructural logics
- Sahlqvist via translation
- Semantic analysis of orthologic
- Some theorems about the sentential calculi of Lewis and Heyting
- Stone duality for lattice expansions
- Stone duality for lattices
- Subintuitionistic logics
- The algebra of topology
- The bounded proof property via step algebras and step frames
- The Gödel-Tarski translations of intuitionistic propositional formulas
- The Modal Multilogic of Geometry
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- Towards a Modal Logical Treatment of Quantum Physics
- Weak Logics with Strict Implication
Cited in
(11)- Modal translations in substructural logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- Nominal substitution at work with the global and converse modalities
- scientific article; zbMATH DE number 5295715 (Why is no real title available?)
- Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
- scientific article; zbMATH DE number 517003 (Why is no real title available?)
- A uniform framework for substructural logics with modalities
- scientific article; zbMATH DE number 823607 (Why is no real title available?)
- On the multi-dimensional modal logic of substitutions
- Choice-free topological duality for implicative lattices and Heyting algebras
- Choice-free dualities for lattice expansions: application to logics with a negation operator
This page was built for publication: Modal translation of substructural logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217248)
