Modal translation of substructural logics

DOI10.1080/11663081.2019.1703469zbMath1452.03057arXiv1812.06747OpenAlexW2998962033WikidataQ126384347 ScholiaQ126384347MaRDI QIDQ5217248

Chrysafis Hartonas

Publication date: 24 February 2020

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.06747

zbMATH Keywords

substructural logicsGödel translationnon-distributive logicsrepresentation of lattice expansionssorted modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Choice-free topological duality for implicative lattices and Heyting algebras

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
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Quantum logic as a dynamic logic
• Intuitionistic logic and modality via topology
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• The bounded proof property via step algebras and step frames
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Modal companions of intermediate propositional logics
• Modal translations in substructural logics
• Concept lattices and conceptual knowledge systems
• A lattice of normal modal logics
• Stone duality for lattices
• Relation algebras as residuated Boolean algebras
• Subintuitionistic logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• A closer look at some subintuitionistic logics
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Handbook of philosophical logic. Vol. 5
• Algorithmic correspondence and canonicity for non-distributive logics
• Duality results for (co)residuated lattices
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• The algebra of topology
• On closed elements in closure algebras
• The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
• Discrete duality for lattices with modal operators
• Logics without the contraction rule
• Weak Logics with Strict Implication
• On languages with two variables
• The Modal Multilogic of Geometry
• On the Decision Problem for Two-Variable First-Order Logic
• Residuated frames with applications to decidability
• Generalized Kripke semantics for the Lambek-Grishin calculus
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Stone duality for lattice expansions
• Free Modal Algebras Revisited: The Step-by-Step Method
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Representation of Lattices with Modal Operators in Two-Sorted Frames
• Towards a Modal Logical Treatment of Quantum Physics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Canonical extensions and relational completeness of some substructural logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Bounded lattice expansions

This page was built for publication: Modal translation of substructural logics