Proof-theoretic analysis of the quantified argument calculus

&
Review of Symbolic Logic 12 (4):607-636 (2019)
  Copy   BIBTEX

Abstract

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, 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.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020318000114

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Completeness of the Quantified Argument Calculus on the Truth-Valuational Approach.Hanoch Ben-Yami & Edi Pavlović - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), Human Rationality: Festschrift for Nenad Smokrović. Faculty of Humanities and Social Sciences, University of Rijeka. pp. 53–77.
Aristotle, Term Logic, and QUARC.Jonas Raab - 2024 - In George Englebretsen (ed.), New Directions in Term Logic. London: College Publications. pp. 427-503.
Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2023 - Review of Symbolic Logic 16 (2):449-479.
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Focusing Gentzen’s LK Proof System.Chuck Liang & Dale Miller - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 275-313.
Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi.Richard Zach - 2021 - Review of Symbolic Logic 14 (3):645-686.
Proofs with monotone cuts.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):177-187.
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Decidable Fragments of the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2024 - Review of Symbolic Logic 17 (3):736-761.

Analytics

Added to PP
2019-06-11

Downloads
48 (#457,686)

6 months
9 (#482,469)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Edi Pavlović
Ludwig Maximilians Universität, München
Norbert Gratzl

Citations of this work

Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.

View all 9 citations / Add more citations

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Free Logics.Karel Lambert - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 258–279.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.

Add more references