Abstract
We investigate the formal theory of binary quantifiers, that is, quantifiers that take seriously the surface structure of natural language quantifier phrases. We show how to develop a natural deduction system for logics of this sort and demonstrate soundness and completeness results.
Citation
Michaelis Michael. A. V. Townsend. "Binary Quantification Systems." Notre Dame J. Formal Logic 36 (3) 382 - 395, Summer 1995. https://doi.org/10.1305/ndjfl/1040149354
Information