PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S1755020318000114MaRDI QIDQ5216971zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 46852 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1749197 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A sequent calculus for a negative free logic
• Handbook of philosophical logic. Vol. 5
• Logical inquiries into a new formal system with plural reference
• Methods of cut-elimination
• Proof theory. 2nd ed
• Structural proof theory. With an appendix by Aarne Ranta
• The quantified argument calculus

Cited in

(12)

• 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
• Towards a proof theory for quantifier macros
• Proving quantified literals in defeasible logic
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
• The quantified argument calculus with two- and three-valued truth-valuational semantics

Describes a project that uses

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)