scientific article

zbMath1086.03027MaRDI QIDQ3367327

Ran Lanzet, Hanoch Ben-Yami

Publication date: 24 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantificationclassical first-order logicplural referencesemantics of natural language

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10)

Related Items (7)

ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ 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

This page was built for publication: