dc.contributor.author | Fjellstad, Andreas | |
dc.date.accessioned | 2020-04-29T07:14:18Z | |
dc.date.available | 2020-04-29T07:14:18Z | |
dc.date.issued | 2020 | |
dc.Published | Fjellstad. A note on the cut-elimination proof in "truth without contra(di)ction". The Review of Symbolic Logic. 2019 | eng |
dc.identifier.issn | 1755-0211 | |
dc.identifier.issn | 1755-0203 | |
dc.identifier.uri | https://hdl.handle.net/1956/22044 | |
dc.description.abstract | This note shows that the permutation instructions presented by Zardini in "Truth without contra(di)ction" (RSL, 2011) for eliminating cuts on universally quantified formulas in the sequent calculus for the non-contractive theory of truth IKTω are inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTω ending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counter-example is of the kind that leaves open the question whether cut can be shown to be eliminable in the sequent calculus for IKTω with an alternative strategy. | en_US |
dc.language.iso | eng | eng |
dc.publisher | Cambridge University Press | eng |
dc.title | A note on the cut-elimination proof in "truth without contra(di)ction" | eng |
dc.type | Peer reviewed | |
dc.type | Journal article | |
dc.date.updated | 2019-10-29T08:56:31Z | |
dc.description.version | publishedVersion | |
dc.rights.holder | Copyright Association for Symbolic Logic, 2019 | eng |
dc.identifier.doi | https://doi.org/10.1017/s1755020319000571 | |
dc.identifier.cristin | 1741533 | |
dc.source.journal | The Review of Symbolic Logic | |
dc.source.pagenumber | 882-886 | |
dc.identifier.citation | The Review of Symbolic Logic. 2020, 13 (4), 882-886. | |
dc.source.volume | 13 | |
dc.source.issue | 4 | |