Normalized natural deduction systems for some relevant logics I: The logic DW
From MaRDI portal
Publication:5477623
DOI10.2178/jsl/1140641162zbMath1103.03022OpenAlexW1978338594MaRDI QIDQ5477623
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
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
This page was built for publication: Normalized natural deduction systems for some relevant logics I: The logic DW