Title
Proof-Theoretic Reconstruction of Generalized Quantifiers
Abstract
The article presents a proof-theoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a proof-theoretical substitute for noun-phrase and determiner meanings, thereby replacing the traditional model-theoretical appeal to generalized quantifiers, and proving conservativity from a proof-theoretic point of view. The article proposes a definition of negative determiners, leading naturally to a bilateral PTS for them. The main technical tool used is a proof-theoretic interpretation of semantic types, replacing the traditional Montagovian model-theoretic interpretation.
Year
DOI
Venue
2015
10.1093/jos/ffu001
JOURNAL OF SEMANTICS
Field
DocType
Volume
Philosophy,Epistemology,Calculus
Journal
32
Issue
ISSN
Citations 
3
0167-5133
5
PageRank 
References 
Authors
0.78
5
2
Name
Order
Citations
PageRank
Nissim Francez11330419.56
Gilad Ben-Avi2404.81