Modal translations in substructural logics

DOI10.1007/BF00260931zbMATH Open0765.03009MaRDI QIDQ1198409FDOQ1198409

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semantics and proof theory of linear logic
• \(TW_+\) and \(RW_+\) are decidable
• The semantics of entailment. II
• The undecidability of entailment and relevant implication
• Linear logic
• The Mathematics of Sentence Structure
• Proof theory
• Epistemic and intuitionistic formal systems
• A metacompleteness theorem for contraction-free relevant logics
• Sequent-systems and groupoid models. I
• The Gentzenization and decidability of RW
• Logics without the contraction rule
• Predicate logics without the structure rules
• 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
• 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
• Models for relevant modal logics
• Survey of generalizations of Urquhart semantics
• A system of formal logic without an analogue to the curry W operator

Cited In (21)

• Title not available (Why is that?)
• The first axiomatization of relevant logic
• Title not available (Why is that?)
• A modal view of linear logic
• Universal proof theory: semi-analytic rules and Craig interpolation
• Modal logic as metalogic
• 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
• 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Kripke semantics for modal substructural logics 👍 👎
• A substructural approach to explicit modal logic 👍 👎
• Semantics-Based Translation Methods for Modal Logics 👍 👎
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC 👍 👎
• Alternative translation techniques for propositional and first-order modal logics 👍 👎
• Substructural logics with a reflexive transitive closure modality 👍 👎
• A set-theoretic translation method for (poly)modal logics 👍 👎
• Modal translation of substructural logics 👍 👎

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)