TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

DOI10.1017/S1755020319000133OpenAlexW3152938788MaRDI QIDQ6153161FDOQ6153161

Authors: Shawn Standefer 

Publication date: 16 March 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000133

Recommendations

• Trees for E
• scientific article; zbMATH DE number 3891328
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• Natural deduction systems for E
• Natural deduction and sequent calculus for intuitionistic relevant logic

zbMATH Keywords

natural deductiontranslationsrelevant logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• The connectives
• An introduction to non-classical logic. From if to is
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• General-elimination harmony and the meaning of the logical constants
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction, hybrid systems and modal logics
• Handbook of philosophical logic. Vol. 6
• Semantics for relevant logics
• Proof Theories for Semilattice Logics
• Cut for core logic
• General-elimination harmony and higher-level rules
• General-elimination stability
• A Brief History of Natural Deduction
• An axiomatic version of positive semilattice relevance logic
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Free semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• The first axiomatization of relevant logic
• Assumption Classes in Natural Deduction
• Natural deduction systems for E
• Core Logic
• Operational semantics for positive R
• Further Results on Proof Theories For Semilattice Logics
• Modal pure type systems. Type theory for knowledge representation
• Trees for E
• The relevance of premises to conclusions of core proofs
• Normal proofs, cut free derivations and structural rules
• A new S4 classical modal logic in natural deduction
• Semantic pollution and syntactic purity
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
• Title not available (Why is that?)
• Bilateral relevant logic

This page was built for publication: TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

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