TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

DOI10.1017/S1755020319000133MaRDI QIDQ6153161zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)