Rozdział w monografii
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

A Scope-Taking System with Dependent Types and Continuations

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:37:24Z
dc.abstract.enDifferent scope-taking mechanisms have been proposed for capturing quantifier scope alternation, including covert operations of quantifier movement, type-changing rules, storage devices. In this paper we propose a new scope-taking system with dependent types and continuations. The key elements of our formal framework are: (i) richly typed system; (ii) contexts for determining the relative scoping of quantifiers; (iii) recursive procedure by which the interpretation is computed and the dependently typed context is built along the surface structure tree. The main advantage of our proposal is that it does not overgenerate—it produces all and only the attested readings for the defined fragment. The core idea behind the proposal is that certain lexical elements are responsible for inverting scope: relational nouns and locative prepositions. This allows us to provide a principled solution to the question of why certain constructions missing such elements block inverse scope.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorZawadowski, Marek
dc.contributor.authorGrudzińska-Zawadowska, Justyna
dc.date.accessioned2024-01-28T20:02:33Z
dc.date.available2024-01-28T20:02:33Z
dc.date.issued2020
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-030-30077-7_7
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/150903
dc.identifier.weblinkhttps://link.springer.com/chapter/10.1007/978-3-030-30077-7_7
dc.languageeng
dc.pbn.affiliationphilosophy
dc.publisher.ministerialSpringer
dc.relation.bookLogic and Algorithms in Computational Linguistics 2018 (LACompLing2018)
dc.relation.pages155-176
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleA Scope-Taking System with Dependent Types and Continuations
dc.typeMonographChapter
dspace.entity.typePublication