https://scholars.lib.ntu.edu.tw/handle/123456789/587930
標題: | Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs | 作者: | SHAWN MICHAEL STANDEFER | 關鍵字: | Cascade systems | Proof theory | Tree systems | 公開日期: | 2019 | 出版社: | Springer Science and Business Media {LLC} | 卷: | 107 | 期: | 6 | 來源出版物: | Studia Logica | 摘要: | Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587930 | ISSN: | 0039-3215 1572-8730 |
DOI: | 10.1007/s11225-018-9828-2 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。