Modal translations in substructural logics

DOI10.1007/BF00260931MaRDI QIDQ1198409zbMATH OpenFDO

Authors 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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Modal translation of substructural logics
• scientific article; zbMATH DE number 823607
• Semantics-Based Translation Methods for Modal Logics
• A substructural approach to explicit modal logic
• Alternative translation techniques for propositional and first-order modal logics
• Kripke semantics for modal substructural logics
• Substructural logics with a reflexive transitive closure modality
• A set-theoretic translation method for (poly)modal logics
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• scientific article; zbMATH DE number 1163388

Cites work

• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4037867 (Why is no real title available?)
• scientific article; zbMATH DE number 3726316 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 218501 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 3252193 (Why is no real title available?)
• scientific article; zbMATH DE number 3299687 (Why is no real title available?)
• scientific article; zbMATH DE number 3344563 (Why is no real title available?)
• scientific article; zbMATH DE number 3402571 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A consecutive calculus for positive relevant implication with necessity
• A metacompleteness theorem for contraction-free relevant logics
• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• A system of formal logic without an analogue to the curry W operator
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Epistemic and intuitionistic formal systems
• Failure of interpolation in relevant logics
• Four relevant Gentzen systems
• Linear logic
• Logics without the contraction rule
• Models for relevant modal logics
• Predicate logics without the structure rules
• Proof theory
• Sequent-systems and groupoid models. I
• Sequent-systems for modal logic
• Some Syntactical Observations on Linear Logic
• Survey of generalizations of Urquhart semantics
• The Gentzenization and decidability of RW
• The Mathematics of Sentence Structure
• The elimination theorem when modality is present
• The semantics and proof theory of linear logic
• The semantics of entailment. II
• The undecidability of entailment and relevant implication
• What is strict implication?
• \(TW_+\) and \(RW_+\) are decidable

Cited in

(34)

• scientific article; zbMATH DE number 517003 (Why is no real title available?)
• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
• A correct polynomial translation of S4 into intuitionistic logic
• A polynomial translation of S4 into intuitionistic logic
• The first axiomatization of relevant logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• The Gödel-Tarski translations of intuitionistic propositional formulas
• Temporal Gödel-Gentzen and Girard translations
• scientific article; zbMATH DE number 60832 (Why is no real title available?)
• A translation from the modal logic of provability into K4
• A modal view of linear logic
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• scientific article; zbMATH DE number 4123703 (Why is no real title available?)
• scientific article; zbMATH DE number 823607 (Why is no real title available?)
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Universal proof theory: semi-analytic rules and Craig interpolation
• Modal logic as metalogic
• scientific article; zbMATH DE number 4170862 (Why is no real title available?)
• On the multi-dimensional modal logic of substitutions
• Modal translation of substructural logics
• The concept of relevance and the logic diagram tradition
• scientific article; zbMATH DE number 3981153 (Why is no real title available?)
• Modal companions of intermediate propositional logics
• Algebraic study of two deductive systems of relevance logic
• A proof-theoretic study of the correspondence of classical logic and modal logic
• Linear Logic Properly Displayed
• Editorial introduction: substructural logics and metainferences
• Meeting strength in substructural logics
• Reflections on ``difficult embeddings
• Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
• Duality results for (co)residuated lattices
• A uniform framework for substructural logics with modalities
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Nominal substitution at work with the global and converse modalities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1198409)