Decidable fragments of the quantified argument calculus

DOI10.1017/S175502032300031XMaRDI QIDQ6638233zbMATH OpenFDO

Authors Edi Pavlović, Norbert Gratzl

Publication date 14 November 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

assertoric syllogisticdecidabilityG3 sequent calculusquantified argument calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Cites work

• A more unified approach to free logics
• A note on the Entscheidungsproblem.
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• An Unsolvable Problem of Elementary Number Theory
• Aristotle, logic, and QUARC
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• Conditional beliefs: from neighbourhood semantics to sequent calculus
• Countermodels from sequent calculi in multi-modal logics
• Free logic and the quantified argument calculus
• On computable numbers, with an application to the Entscheidungsproblem.
• Proof analysis for Lewis counterfactuals
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Proofs and countermodels in non-classical logics
• Structural proof theory. With an appendix by Aarne Ranta
• The Barcan formulas and necessary existence: the view from quarc
• The quantified argument calculus
• The quantified argument calculus with two- and three-valued truth-valuational semantics

Cited in

(1)

• \textsf{QUARC} and classical logic

This page was built for publication: Decidable fragments of the quantified argument calculus

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