https://scholars.lib.ntu.edu.tw/handle/123456789/587912
Title: | Translations between linear and tree natural deduction systems for relevant logics | Authors: | SHAWN MICHAEL STANDEFER | Keywords: | relevant logics, natural deduction, translations | Issue Date: | 1-Jun-2021 | Journal Volume: | 14 | Journal Issue: | 2 | Source: | Review of Symbolic Logic | 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. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587912 | ISSN: | 17550203 | DOI: | 10.1017/S1755020319000133 |
Appears in Collections: | 哲學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.