https://scholars.lib.ntu.edu.tw/handle/123456789/587913
Title: | Natural deduction systems for E | Authors: | SHAWN MICHAEL STANDEFER Brady, R.T. |
Issue Date: | 2018 | Journal Volume: | 61 | Journal Issue: | 242 | Source: | Logique et Analyse | 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. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587913 | ISSN: | 00245836 | DOI: | 10.2143/LEA.242.0.3284749 |
Appears in Collections: | 哲學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.