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 Pavlović, Edi Norbert Gratzl 2019-09-16T12:36:01Z 2019-09-16T12:36:01Z 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 . 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.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.type.uri info:eu-repo/semantics/other
dc.type.uri info:eu-repo/semantics/acceptedVersion

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