Semantics with Dependent Types for Indefinites

Semantics with Dependent Types for Indefinites

The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957],...

Full description

Bibliographic Details
Main Author: Grudzińska Justyna
Format: Article
Language:English
Published: Sciendo 2016-09-01
Series:Studies in Logic, Grammar and Rhetoric
Subjects:
indefinites
exceptional scopes
unbound anaphora
dependent type
Online Access:https://doi.org/10.1515/slgr-2016-0039
id doaj-2db38e064f7c44d190acc9ee21e8ad68
record_format Article
spelling doaj-2db38e064f7c44d190acc9ee21e8ad682021-09-05T14:00:42ZengSciendoStudies in Logic, Grammar and Rhetoric0860-150X2199-60592016-09-0146117319210.1515/slgr-2016-0039slgr-2016-0039Semantics with Dependent Types for IndefinitesGrudzińska Justyna0Institute of Philosophy, University of WarsawThe paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957], [Lindström 1966]) with dependent types ([Martin-Löf 1972], [Makkai 1995]) in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].https://doi.org/10.1515/slgr-2016-0039indefinitesexceptional scopesunbound anaphoradependent type
collection DOAJ
language English
format Article
sources DOAJ
author Grudzińska Justyna
spellingShingle Grudzińska Justyna
Semantics with Dependent Types for Indefinites
Studies in Logic, Grammar and Rhetoric
indefinites
exceptional scopes
unbound anaphora
dependent type
author_facet Grudzińska Justyna
author_sort Grudzińska Justyna
title Semantics with Dependent Types for Indefinites
title_short Semantics with Dependent Types for Indefinites
title_full Semantics with Dependent Types for Indefinites
title_fullStr Semantics with Dependent Types for Indefinites
title_full_unstemmed Semantics with Dependent Types for Indefinites
title_sort semantics with dependent types for indefinites
publisher Sciendo
series Studies in Logic, Grammar and Rhetoric
issn 0860-150X
2199-6059
publishDate 2016-09-01
description The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric (dynamic) properties. The proposal builds on the formal system combining generalized quantifiers ([Mostowski 1957], [Lindström 1966]) with dependent types ([Martin-Löf 1972], [Makkai 1995]) in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].
topic indefinites
exceptional scopes
unbound anaphora
dependent type
url https://doi.org/10.1515/slgr-2016-0039
work_keys_str_mv AT grudzinskajustyna semanticswithdependenttypesforindefinites
_version_ 1717811508332724224

Similar Items