Proof-Theoretic Analysis of the Quantified Argument Calculus

Visa fullständig post



Permalänk

http://hdl.handle.net/10138/305478

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

Titel: Proof-Theoretic Analysis of the Quantified Argument Calculus
Författare: Pavlović, Edi; Norbert Gratzl
Medarbetare: University of Helsinki, Department of Philosophy, History and Art Studies
Datum: 2019-12
Språk: eng
Sidantal: 30
Tillhör serie: The Review of Symbolic Logic
ISSN: 1755-0203
Permanenta länken (URI): http://hdl.handle.net/10138/305478
Abstrakt: 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).
Subject: 611 Philosophy
Logic
Proof Theory
Quantified Argument Calculus
proof theory
sequent calculus
natural deduction
Licens:


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
prooftheoretic_ ... fied_argument_calculus.pdf 476.3Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post