https://scholars.lib.ntu.edu.tw/handle/123456789/587930
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | SHAWN MICHAEL STANDEFER | en_US |
dc.date.accessioned | 2021-11-26T05:36:37Z | - |
dc.date.available | 2021-11-26T05:36:37Z | - |
dc.date.issued | 2019 | - |
dc.identifier.issn | 0039-3215 | - |
dc.identifier.issn | 1572-8730 | - |
dc.identifier.uri | https://scholars.lib.ntu.edu.tw/handle/123456789/587930 | - |
dc.description.abstract | 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. | en_US |
dc.publisher | Springer Science and Business Media {LLC} | en_US |
dc.relation.ispartof | Studia Logica | en_US |
dc.subject | Cascade systems | Proof theory | Tree systems | en_US |
dc.title | Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs | en_US |
dc.type | journal article | en |
dc.identifier.doi | 10.1007/s11225-018-9828-2 | - |
dc.identifier.scopus | 2-s2.0-85053875859 | - |
dc.identifier.url | https://doi.org/10.1007/s11225-018-9828-2 | - |
dc.relation.journalvolume | 107 | en_US |
dc.relation.journalissue | 6 | en_US |
dc.identifier.external | 48580816 | - |
dc.relation.pageend | 1134 | en_US |
item.openairetype | journal article | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
item.fulltext | no fulltext | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
crisitem.author.dept | Philosophy | - |
crisitem.author.orcid | 0000-0002-3032-5290 | - |
crisitem.author.parentorg | College of Liberal Arts | - |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。