Modal translations in substructural logics

DOI10.1007/BF00260931zbMATH Open0765.03009MaRDI QIDQ1198409FDOQ1198409

Authors: Kosta Došen 

Publication date: 16 January 1993

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

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

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)

Cites Work

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

Cited In (34)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• The Gödel-Tarski translations of intuitionistic propositional formulas
• Temporal Gödel-Gentzen and Girard translations
• Title not available (Why is that?)
• A translation from the modal logic of provability into K4
• A modal view of linear logic
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal proof theory: semi-analytic rules and Craig interpolation
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• Modal logic as metalogic
• Title not available (Why is that?)
• On the multi-dimensional modal logic of substitutions
• Modal translation of substructural logics
• The concept of relevance and the logic diagram tradition
• Title not available (Why is that?)
• Modal companions of intermediate propositional logics
• Algebraic study of two deductive systems of relevance logic
• Linear Logic Properly Displayed
• A proof-theoretic study of the correspondence of classical logic and modal logic
• 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)