PEETERS ONLINE JOURNALS
Peeters Online Bibliographies
Peeters Publishers
this issue
  previous article in this issuenext 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   
Pages: 163-182
DOI: 10.2143/LEA.242.0.3284749

Abstract :
Anderson and Belnap [1975] 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 [1984] 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.

download article




3.80.4.76.