TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

DOI10.1017/s1755020319000133OpenAlexW3152938788MaRDI QIDQ6153161

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

zbMATH Keywords

translationsnatural deductionrelevant 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• General-elimination stability
• Free semantics
• General-elimination harmony and the meaning of the logical constants
• Natural deduction, hybrid systems and modal logics
• Operational semantics for positive R
• The first axiomatization of relevant logic
• Modal pure type systems. Type theory for knowledge representation
• Handbook of philosophical logic. Vol. 6
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Normal proofs, cut free derivations and structural rules
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• A Brief History of Natural Deduction
• CUT FOR CORE LOGIC
• BILATERAL RELEVANT LOGIC
• Further Results on Proof Theories For Semilattice Logics
• A new S4 classical modal logic in natural deduction
• SEMANTIC POLLUTION AND SYNTACTIC PURITY
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS
• Proof Theories for Semilattice Logics
• An axiomatic version of positive semilattice relevance logic
• Assumption Classes in Natural Deduction
• From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
• Trees for E
• General-Elimination Harmony and Higher-Level Rules
• Core Logic
• Normalized natural deduction systems for some relevant logics I: The logic DW
• Semantics for relevant logics

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