-
arXiv:1608.00255 [pdf, ps, other]
Continuation semantics for multi-quantifier sentences: operation-based approaches
Abstract: Classical scope-assignment strategies for multi-quantifier sentences involve quantifier phrase (QP)-movement. More recent continuation-based approaches provide a compelling alternative, for they interpret QP's in situ - without resorting to Logical Forms or any structures beyond the overt syntax. The continuation-based strategies can be divided into two groups: those that locate the source of scop… ▽ More
Submitted 2 August, 2016; v1 submitted 31 July, 2016; originally announced August 2016.
Comments: 19 pages, corrections in the table on page 3. arXiv admin note: text overlap with arXiv:1605.03981
MSC Class: 03B65; 91F20
-
arXiv:1605.03981 [pdf, ps, other]
Scope ambiguities, monads and strengths
Abstract: In this paper, we will discuss three semantically distinct scope assignment strategies: traditional movement strategy, polyadic approach, and continuation-based approach. As a generalized quantifier on a set X is an element of C(X), the value of continuation monad C on X, in all three approaches QPs are interpreted as C-computations. The main goal of this paper is to relate the three strategies to… ▽ More
Submitted 31 July, 2016; v1 submitted 12 May, 2016; originally announced May 2016.
Comments: 47 pages, small corrections
-
arXiv:1402.0033 [pdf, ps, other]
Generalized Quantifiers on Dependent Types: A System for Anaphora
Abstract: We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cumul… ▽ More
Submitted 31 July, 2016; v1 submitted 31 January, 2014; originally announced February 2014.
Comments: 40 pages; final version
MSC Class: 03B65; 91F20