PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S1755020318000114OpenAlexW2950279424WikidataQ127774852 ScholiaQ127774852MaRDI QIDQ5216971FDOQ5216971

Authors: Edi Pavlović, Norbert Gratzl 

Publication date: 20 February 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000114

Recommendations

• The quantified argument calculus
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• Free logic and the quantified argument calculus
• THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
• Towards a proof theory for quantifier macros

zbMATH Keywords

proof theorynatural deductionsequent calculusquantified argument calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Proof theory. 2nd ed
• Handbook of philosophical logic. Vol. 5
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The quantified argument calculus
• Logical inquiries into a new formal system with plural reference
• Title not available (Why is that?)
• Methods of cut-elimination
• A sequent calculus for a negative free logic

Cited In (11)

• A more unified approach to free logics
• The Barcan formulas and necessary existence: the view from quarc
• A QBF-based formalization of abstract argumentation semantics
• Negative predication and distinctness
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Aristotle, logic, and QUARC
• Decidable fragments of the quantified argument calculus
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• Proving quantified literals in defeasible logic
• Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
• The quantified argument calculus with two- and three-valued truth-valuational semantics

Uses Software

• Pesca

This page was built for publication: PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216971)