Proof-Theoretic Analysis of the Quantified Argument Calculus

Show simple item record

dc.contributor University of Helsinki, Department of Philosophy, History and Art Studies en
dc.contributor.author Pavlović, Edi
dc.contributor.author Norbert Gratzl
dc.date.accessioned 2019-09-16T12:36:01Z
dc.date.available 2019-09-16T12:36:01Z
dc.date.issued 2019-12
dc.identifier.citation Pavlović , E & Norbert Gratzl 2019 , ' Proof-Theoretic Analysis of the Quantified Argument Calculus ' , The Review of Symbolic Logic , vol. 12 , no. 4 , 1755020318000114 , pp. 607-636 . https://doi.org/10.1017/S1755020318000114 en
dc.identifier.issn 1755-0203
dc.identifier.other PURE: 126544390
dc.identifier.other PURE UUID: b4bdf4d2-b270-4770-af9f-5f1845b73895
dc.identifier.other WOS: 000502703600001
dc.identifier.uri http://hdl.handle.net/10138/305478
dc.description.abstract This article investigates the proof theory of the Quantified Argument Calculus (Quarc) as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction (Suppes-Lemmon style), we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen's original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries (including subformula property and thus consistency). en
dc.format.extent 30
dc.language.iso eng
dc.relation.ispartof The Review of Symbolic Logic
dc.rights en
dc.subject 611 Philosophy en
dc.subject Logic en
dc.subject Proof Theory en
dc.subject Quantified Argument Calculus en
dc.subject proof theory en
dc.subject sequent calculus en
dc.subject natural deduction en
dc.title Proof-Theoretic Analysis of the Quantified Argument Calculus en
dc.type Article
dc.description.version Peer reviewed
dc.identifier.doi https://doi.org/10.1017/S1755020318000114
dc.type.uri info:eu-repo/semantics/other
dc.type.uri info:eu-repo/semantics/acceptedVersion
dc.contributor.pbl

Files in this item

Total number of downloads: Loading...

Files Size Format View
prooftheoretic_ ... fied_argument_calculus.pdf 476.3Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record