Binary Quantification Systems

Notre Dame Journal of Formal Logic 36 (3):382-395 (1995)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Completeness of Infinitary Heterogeneous Logic.Christian Espíndola - 2025 - Notre Dame Journal of Formal Logic 66 (1):1-17.
Vector spaces and binary quantifiers.Michał Krynicki, Alistair Lachlan & Jouko Väänänen - 1984 - Notre Dame Journal of Formal Logic 25 (1):72-78.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
The completeness of Copi's system of natural deduction.John A. Winnie - 1970 - Notre Dame Journal of Formal Logic 11 (3):379-382.
Reconciling Aristotle and Frege.Alex Orenstein - 1999 - Notre Dame Journal of Formal Logic 40 (3):391-413.
An elementary completeness proof for a system of natural deduction.David W. Bennett - 1973 - Notre Dame Journal of Formal Logic 14 (3):430-432.
A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.

Analytics

Added to PP
2010-08-24

Downloads
28 (#888,263)

6 months
2 (#1,359,420)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michaelis Michael
University of New South Wales

Citations of this work

Add more citations

References found in this work

Replies.W. V. Quine - 1968 - Synthese 19 (1-2):264 - 322.

Add more references