|previous article in this issue||next article in this issue|
Document Details :
Title: Natural Deduction Systems for E
Author(s): STANDEFER, Shawn , BRADY, Ross T.
Journal: Logique et Analyse
Volume: 242 Date: 2018
Anderson and Belnap  presented a Fitch natural deduction system, FE, for their logic E of entailment as well as Fitch systems for the relevant logics T and R. The system FE is obtained from the system for R through a restriction on the rule of reiteration. Brady  presents Fitch systems for a range of relevant logics, none of which uses a restriction on the rule of reiteration. However, no Fitch system for E was presented. We fill this lacuna by providing two Fitch systems for E, neither of which uses a restriction on the rule of reiteration. We close by discussing their differences and possible connections to other extant systems for E.