Show simple item record

dc.contributor.authorFjellstad, Andreas
dc.date.accessioned2020-04-29T07:14:18Z
dc.date.available2020-04-29T07:14:18Z
dc.date.issued2019
dc.identifier.citationFjellstad. A note on the cut-elimination proof in "truth without contra(di)ction". The Review of Symbolic Logic. 2019eng
dc.identifier.issn1755-0211
dc.identifier.issn1755-0203
dc.identifier.urihttp://hdl.handle.net/1956/22044
dc.description.abstractThis 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.isoengeng
dc.publisherCambridge University Presseng
dc.titleA note on the cut-elimination proof in "truth without contra(di)ction"eng
dc.typePeer reviewed
dc.typeJournal article
dc.date.updated2019-10-29T08:56:31Z
dc.description.versionacceptedVersion
dc.rights.holderCopyright Association for Symbolic Logic, 2019eng
dc.identifier.doihttps://doi.org/10.1017/s1755020319000571
dc.identifier.cristin1741533
dc.source.journalThe Review of Symbolic Logic


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record