https://scholars.lib.ntu.edu.tw/handle/123456789/587912
標題: | Translations between linear and tree natural deduction systems for relevant logics | 作者: | SHAWN MICHAEL STANDEFER | 關鍵字: | relevant logics, natural deduction, translations | 公開日期: | 1-六月-2021 | 卷: | 14 | 期: | 2 | 來源出版物: | Review of Symbolic Logic | 摘要: | Anderson 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. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587912 | ISSN: | 17550203 | DOI: | 10.1017/S1755020319000133 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。