ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S175502032100006XMaRDI QIDQ6041346zbMATH OpenOpenAlexFDO

Authors Edi Pavlović, Norbert Gratzl

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 interpolationdefining clausesnatural language quantificationquantified argument calculussequent calculus G3

Mathematics Subject Classification ID

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

Cites work

• A more unified approach to free logics
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• Aristotle, logic, and QUARC
• Free logic and the quantified argument calculus
• Full cut elimination and interpolation for intuitionistic logic with existence predicate
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3467029 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 1361537 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• Logical inquiries into a new formal system with plural reference
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Structural proof theory. With an appendix by Aarne Ranta
• The quantified argument calculus
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• A QBF-based formalization of abstract argumentation semantics
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• scientific article; zbMATH DE number 6769394 (Why is no real title available?)
• Decidable fragments of the quantified argument calculus
• On `there is': logical investigations into instantial sentences
• An axiomatic approach to the quantified argument calculus
• \textsf{QUARC} and classical logic

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

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