THE QUANTIFIED ARGUMENT CALCULUS

DOI10.1017/S1755020313000373zbMath1345.03053OpenAlexW2137883646MaRDI QIDQ2940869

Hanoch Ben-Yami

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

zbMATH Keywords

logic of natural languagequantified argument calculustruth-value assignment semantics

Mathematics Subject Classification ID

Logic of natural languages (03B65)

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

• Handbook of philosophical logic. Vol. I: Elements of classical logic
• PLURAL QUANTIFICATION LOGIC: A CRITICAL APPRAISAL
• A Functional calculus of first order based on strict implication
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: THE QUANTIFIED ARGUMENT CALCULUS