ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/s175502032100006xOpenAlexW3125362358MaRDI QIDQ6041346

Norbert Gratzl, Edi Pavlović

Publication date: 26 May 2023

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

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

zbMATH Keywords

Craig interpolationnatural language quantificationquantified argument calculusdefining clausessequent calculus G3

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Cites Work

• A more unified approach to free logics
• Untersuchungen über das logische Schliessen. I
• THE QUANTIFIED ARGUMENT CALCULUS
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Free Logic and the Quantified Argument Calculus
• Aristotle, Logic, and QUARC
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
• A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS