https://scholars.lib.ntu.edu.tw/handle/123456789/587913
標題: | Natural deduction systems for E | 作者: | SHAWN MICHAEL STANDEFER Brady, R.T. |
公開日期: | 2018 | 卷: | 61 | 期: | 242 | 來源出版物: | Logique et Analyse | 摘要: | 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 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。