1995/07/01 by Michaelis Michael, A. V. Townsend
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Semantic Web and Ontologies
paper · 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.