Modal translations in substructural logics

DOI10.1007/BF00260931zbMath0765.03009MaRDI QIDQ1198409

Kosta Došen

Publication date: 16 January 1993

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

zbMATH Keywords

linear logicrelevance logicBCK-logicanalysis of cut-free Gentzen-type derivationstranslations of intuitionistic logics into modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (12)

Cartesian isomorphisms are symmetric monoidal: A justification of linear logic ⋮ Linear Logic Properly Displayed ⋮ Reflections on ``difficult embeddings ⋮ Meeting strength in substructural logics ⋮ Algebraic study of two deductive systems of relevance logic ⋮ The concept of relevance and the logic diagram tradition ⋮ Duality results for (co)residuated lattices ⋮ Editorial introduction: substructural logics and metainferences ⋮ Modal companions of intermediate propositional logics ⋮ The first axiomatization of relevant logic ⋮ Modal translation of substructural logics ⋮ Modal logic as metalogic

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
• Four relevant Gentzen systems
• Linear logic
• Epistemic and intuitionistic formal systems
• Failure of interpolation in relevant logics
• The Gentzenization and decidability of RW
• A metacompleteness theorem for contraction-free relevant logics
• \(TW_+\) and \(RW_+\) are decidable
• Predicate logics without the structure rules
• Survey of generalizations of Urquhart semantics
• The semantics and proof theory of linear logic
• Sequent-systems and groupoid models. I
• A consecutive calculus for positive relevant implication with necessity
• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• The semantics of entailment. II
• Models for relevant modal logics
• The Mathematics of Sentence Structure
• The undecidability of entailment and relevant implication
• Logics without the contraction rule
• Some Syntactical Observations on Linear Logic
• Sequent-systems for modal logic
• What is strict implication?
• A system of formal logic without an analogue to the curry W operator
• The elimination theorem when modality is present
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Proof theory

This page was built for publication: Modal translations in substructural logics