Λ-terms, logic, determiners and quantifiers

Journal of Logic, Language and Information 1 (1):79-103 (1992)
  Copy   BIBTEX

Abstract

In this paper, a theory T H based on combining type freeness with logic is introduced and is then used to build a theory of properties which is applied to determiners and quantifiers.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Unary quantifiers on finite models.Jouko Väänänen - 1997 - Journal of Logic, Language and Information 6 (3):275-304.
Nominal comparatives and generalized quantifiers.John Nerbonne - 1995 - Journal of Logic, Language and Information 4 (4):273-300.
A remark on collective quantification.Juha Kontinen & Jakub Szymanik - 2008 - Journal of Logic, Language and Information 17 (2):131-140.
Generalized Quantifiers, and Beyond.Hanoch Ben-Yami - 2009 - Logique Et Analyse (208):309-326.
A semantic constraint on binary determiners.R. Zuber - 2009 - Linguistics and Philosophy 32 (1):95-114.
Quantification.Anna Szabolcsi - 2010 - New York: Cambridge University Press.
Monotonicity and collective quantification.Gilad Ben-avi & Yoad Winter - 2003 - Journal of Logic, Language and Information 12 (2):127-151.

Analytics

Added to PP
2009-01-28

Downloads
41 (#379,234)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A type free theory and collective/distributive predication.Fairouz Kamareddine - 1995 - Journal of Logic, Language and Information 4 (2):85-109.

Add more citations

References found in this work

Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Formal Philosophy.Richmond H. Thomason (ed.) - 1974 - Yale University Press.
Questions about quantifiers.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (2):443-466.
A theory of properties.Ray Turner - 1987 - Journal of Symbolic Logic 52 (2):455-472.
Determiners and logic.Johan van Benthem - 1983 - Linguistics and Philosophy 6 (4):447-478.

View all 8 references / Add more references