Normalized natural deduction systems for some relevant logics I: The logic DW

DOI10.2178/jsl/1140641162zbMath1103.03022OpenAlexW1978338594MaRDI QIDQ5477623

Ross T. Brady

Publication date: 5 July 2006

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

Full work available at URL: https://doi.org/10.2178/jsl/1140641162

zbMATH Keywords

natural deductionsentential relevant logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (8)

Free semantics ⋮ The nature of information: a relevant approach ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ FOUR BASIC LOGICAL ISSUES ⋮ Logic—The Big Picture ⋮ Relevance-Sensitive Truth-Trees

Cites Work

• Unnamed Item
• Unnamed Item
• A metacompleteness theorem for contraction-free relevant logics
• Gentzenization and decidability of some contraction-less relevant logics
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• On Entailment

This page was built for publication: Normalized natural deduction systems for some relevant logics I: The logic DW