TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
-
Published:2021-04-08
Issue:2
Volume:14
Page:285-306
-
ISSN:1755-0203
-
Container-title:The Review of Symbolic Logic
-
language:en
-
Short-container-title:The Review of Symbolic Logic
Abstract
AbstractAnderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference48 articles.
1. Trees for E
2. Gentzen’s Hauptsatz for the systems NI and NK;Raggio;Logique Et Analyse,1965
3. BILATERAL RELEVANT LOGIC