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 Francez | 1 | 1330 | 419.56 |
Gilad Ben-Avi | 2 | 40 | 4.81 |