Decidable fragments of the quantified argument calculus

DOI10.1017/S175502032300031XMaRDI QIDQ6638233

Edi Pavlović, Norbert Gratzl

Publication date: 14 November 2024

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

zbMATH Keywords

decidabilityquantified argument calculusG3 sequent calculusassertoric syllogistic

Mathematics Subject Classification ID

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

Cites Work

• A more unified approach to free logics
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Proofs and countermodels in non-classical logics
• On computable numbers, with an application to the Entscheidungsproblem.
• A note on the Entscheidungsproblem.
• The quantified argument calculus with two- and three-valued truth-valuational semantics
• Structural proof theory. With an appendix by Aarne Ranta
• Proof analysis for Lewis counterfactuals
• THE QUANTIFIED ARGUMENT CALCULUS
• Countermodels from Sequent Calculi in Multi-Modal Logics
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
• Free Logic and the Quantified Argument Calculus
• Aristotle, Logic, and QUARC
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
• An Unsolvable Problem of Elementary Number Theory
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• The Barcan formulas and necessary existence: the view from quarc

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)