Decidable fragments of the quantified argument calculus
type: Item
instance of: scholarly article
title: Decidable fragments of the quantified argument calculus
author: Edi Pavlović
author: Norbert Gratzl
published in: The Review of Symbolic Logic
publication date: 2024-11-14T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 7944271
zbMATH Keywords: quantified argument calculus
zbMATH Keywords: decidability
zbMATH Keywords: G3 sequent calculus
zbMATH Keywords: assertoric syllogistic
MaRDI profile type: Publication
cites work: THE QUANTIFIED ARGUMENT CALCULUS
cites work: The Barcan formulas and necessary existence: the view from quarc
cites work: A note on the Entscheidungsproblem.
cites work: An Unsolvable Problem of Elementary Number Theory
cites work: Countermodels from Sequent Calculi in Multi-Modal Logics
cites work: CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
cites work: A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
cites work: Proofs and countermodels in non-classical logics
cites work: A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
cites work: Proof-theoretic analysis of the logics of agency: the deliberative STIT
cites work: Proof analysis for Lewis counterfactuals
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Free Logic and the Quantified Argument Calculus
cites work: PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
cites work: A more unified approach to free logics
cites work: ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
cites work: Aristotle, Logic, and QUARC
cites work: On computable numbers, with an application to the Entscheidungsproblem.
cites work: Aristotle’s Deductive Logic: a Proof-Theoretical Study
cites work: The quantified argument calculus with two- and three-valued truth-valuational semantics
DOI: 10.1017/S175502032300031X
description: scientific article; zbMATH DE number 7944271