Modal translations in substructural logics
type: Item
instance of: scholarly article
title: Modal translations in substructural logics
zbMATH Open document ID: 0765.03009
DOI: 10.1007/BF00260931
author: Kosta Došen
published in: Journal of Philosophical Logic
publication date: 1993-01-16T00:00:00Z
review text: The Gödel-Tarski translation of the intuitionistic predicate logic into S4 by prefixing \(\square\) to all subformulas is sound and faithful. The author proves a similar result for translations of the intuitionistic versions of linear logic, relevance logic and BCK-logic into their classical S4-analogs. The proof uses analysis of cut-free Gentzen-type derivations.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 92835
zbMATH Keywords: translations of intuitionistic logics into modal logics
zbMATH Keywords: linear logic
zbMATH Keywords: relevance logic
zbMATH Keywords: BCK-logic
zbMATH Keywords: analysis of cut-free Gentzen-type derivations
reviewed by: G. E. Mints
MaRDI profile type: Publication
cites work: Q4085699
cites work: The semantics and proof theory of linear logic
cites work: A consecutive calculus for positive relevant implication with necessity
cites work: The Gentzenization and decidability of RW
cites work: Survey of generalizations of Urquhart semantics
cites work: The elimination theorem when modality is present
cites work: A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
cites work: Sequent-systems for modal logic
cites work: Sequent-systems and groupoid models. I
cites work: Q4342081
cites work: A system of formal logic without an analogue to the curry W operator
cites work: Epistemic and intuitionistic formal systems
cites work: Models for relevant modal logics
cites work: \(TW_+\) and \(RW_+\) are decidable
cites work: Four relevant Gentzen systems
cites work: Linear logic
cites work: Q3914964
cites work: What is strict implication?
cites work: Q5620583
cites work: Q5812175
cites work: Predicate logics without the structure rules
cites work: The Mathematics of Sentence Structure
cites work: Q3727946
cites work: Q3686698
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Logics without the contraction rule
cites work: Q4694214
cites work: Q3778023
cites work: Q5581592
cites work: The semantics of entailment. II
cites work: Some Syntactical Observations on Linear Logic
cites work: Q5538910
cites work: A metacompleteness theorem for contraction-free relevant logics
cites work: Proof theory
cites work: Q4732137
cites work: The undecidability of entailment and relevant implication
cites work: Failure of interpolation in relevant logics
cites work: Q5668435
Recommended article: Modal translation of substructural logics
Recommended article: Q4856963
Recommended article: Semantics-Based Translation Methods for Modal Logics
Recommended article: A substructural approach to explicit modal logic
Recommended article: Alternative translation techniques for propositional and first-order modal logics
Recommended article: Kripke semantics for modal substructural logics
Recommended article: Substructural logics with a reflexive transitive closure modality
Recommended article: A set-theoretic translation method for (poly)modal logics
Recommended article: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
Recommended article: Q4394917
description: scientific article; zbMATH DE number 92835