THE QUANTIFIED ARGUMENT CALCULUS
From MaRDI portal
Publication:2940869
DOI10.1017/S1755020313000373zbMath1345.03053OpenAlexW2137883646MaRDI QIDQ2940869
Publication date: 21 January 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020313000373
Related Items (8)
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ Negative predication and distinctness ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL ⋮ The quantified argument calculus with two- and three-valued truth-valuational semantics ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ Aristotle, Logic, and QUARC ⋮ PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
Cites Work
This page was built for publication: THE QUANTIFIED ARGUMENT CALCULUS