Proof-Theoretic Analysis of the Quantified Argument Calculus

Näytä kaikki kuvailutiedot



Pysyväisosoite

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

Lähdeviite

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

Julkaisun nimi: Proof-Theoretic Analysis of the Quantified Argument Calculus
Tekijä: Pavlović, Edi; Norbert Gratzl
Muu tekijä: University of Helsinki, Department of Philosophy, History and Art Studies
Päiväys: 2019-12
Kieli: eng
Sivumäärä: 30
Kuuluu julkaisusarjaan: The Review of Symbolic Logic
ISSN: 1755-0203
URI: http://hdl.handle.net/10138/305478
Tiivistelmä: 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).
Avainsanat: 611 Philosophy
Logic
Proof Theory
Quantified Argument Calculus
proof theory
sequent calculus
natural deduction
Tekijänoikeustiedot:


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
prooftheoretic_ ... fied_argument_calculus.pdf 476.3KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot