Open Access
Summer 1995 Binary Quantification Systems
Michaelis Michael, A. V. Townsend
Notre Dame J. Formal Logic 36(3): 382-395 (Summer 1995). DOI: 10.1305/ndjfl/1040149354


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.


Download Citation

Michaelis Michael. A. V. Townsend. "Binary Quantification Systems." Notre Dame J. Formal Logic 36 (3) 382 - 395, Summer 1995.


Published: Summer 1995
First available in Project Euclid: 17 December 2002

zbMATH: 0838.03025
MathSciNet: MR1351411
Digital Object Identifier: 10.1305/ndjfl/1040149354

Primary: 03C80
Secondary: 03B10 , 03B65

Rights: Copyright © 1995 University of Notre Dame

Vol.36 • No. 3 • Summer 1995
Back to Top