https://scholars.lib.ntu.edu.tw/handle/123456789/587912
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | SHAWN MICHAEL STANDEFER | en_US |
dc.date.accessioned | 2021-11-26T05:12:39Z | - |
dc.date.available | 2021-11-26T05:12:39Z | - |
dc.date.issued | 2021-06-01 | - |
dc.identifier.issn | 17550203 | - |
dc.identifier.uri | https://scholars.lib.ntu.edu.tw/handle/123456789/587912 | - |
dc.description.abstract | 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. | en_US |
dc.relation.ispartof | Review of Symbolic Logic | en_US |
dc.subject | relevant logics, natural deduction, translations | en_US |
dc.title | Translations between linear and tree natural deduction systems for relevant logics | en_US |
dc.type | journal article | en |
dc.identifier.doi | 10.1017/S1755020319000133 | - |
dc.identifier.scopus | 2-s2.0-85103957616 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85103957616 | - |
dc.relation.journalvolume | 14 | en_US |
dc.relation.journalissue | 2 | en_US |
dc.relation.pageend | 306 | en_US |
item.cerifentitytype | Publications | - |
item.fulltext | no fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
item.openairetype | journal article | - |
item.grantfulltext | none | - |
crisitem.author.dept | Philosophy | - |
crisitem.author.orcid | 0000-0002-3032-5290 | - |
crisitem.author.parentorg | College of Liberal Arts | - |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。