ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S175502032100006XOpenAlexW3125362358MaRDI QIDQ6041346FDOQ6041346

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 interpolationnatural language quantificationquantified argument calculusdefining clausessequent calculus G3

Mathematics Subject Classification ID

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

Cites Work

• Untersuchungen über das logische Schliessen. I
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Aristotle, logic, and QUARC
• Free logic and the quantified argument calculus
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Full cut elimination and interpolation for intuitionistic logic with existence predicate
• A more unified approach to free logics
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL

Cited In (4)

• A QBF-based formalization of abstract argumentation semantics
• Title not available (Why is that?)
• Decidable fragments of the quantified argument calculus
• Title not available (Why is that?)

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)