PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S1755020318000114OpenAlexW2950279424WikidataQ127774852 ScholiaQ127774852MaRDI QIDQ5216971

Norbert Gratzl, Edi Pavlović

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

sequent calculusproof theorynatural deductionquantified argument calculus

Mathematics Subject Classification ID

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

Related Items (6)

A more unified approach to free logics ⋮ ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ Negative predication and distinctness ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ The quantified argument calculus with two- and three-valued truth-valuational semantics ⋮ Aristotle, Logic, and QUARC

Uses Software

• Pesca

Cites Work

• Methods of cut-elimination
• A sequent calculus for a negative free logic
• Proof theory. 2nd ed
• Handbook of philosophical logic. Vol. 5
• THE QUANTIFIED ARGUMENT CALCULUS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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