Skip to main content

Showing 1–3 of 3 results for author: Grudzinska, J

Searching in archive math. Search in all archives.
.
  1. arXiv:1608.00255  [pdf, ps, other

    math.LO cs.CL cs.LO

    Continuation semantics for multi-quantifier sentences: operation-based approaches

    Authors: Justyna Grudzinska, Marek Zawadowski

    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

  2. arXiv:1605.03981  [pdf, ps, other

    math.LO

    Scope ambiguities, monads and strengths

    Authors: Justyna Grudzinska, Marek Zawadowski

    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

  3. arXiv:1402.0033  [pdf, ps, other

    math.LO cs.LO

    Generalized Quantifiers on Dependent Types: A System for Anaphora

    Authors: Justyna Grudzinska, Marek Zawadowski

    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