Semantics with continuations and dependent types: exploring mechanisms of natural language quantification
2016/23/B/HS1/00734
Keywords
Descriptors
- HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Voivodeship: mazowieckie
Principal investigator (from the host institution)
dr hab. Justyna Anna Grudzińska-Zawadowska
Number of co-investigators in the project: 2
Call
OPUS 12 – announced on 2016-09-15
- Amount awarded
- 156 000 PLN
- Project start date
- 2017-07-13
- Project end date
- 2020-01-12
- Project duration
- 30 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publication in academic press/journals (3)
-
Scope ambiguities, monads and strengths
- Authors:
- Justyna Grudzińska, Marek Zawadowski
- Academic press:
- Journal of Language Modelling (year: 2017, volume: 5(2), pages: 179-227), Publisher: Institute of Computer Science PAS
- Status:
- Published
- DOI:
- 10.15398/jlm.v5i2.163 – link to the publication
-
Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account
- Authors:
- Justyna Grudzińska, Marek Zawadowski
- Academic press:
- Journal of Logic, Language and Information (year: 2019, volume: First Online, pages: 46044), Publisher: Springer Netherlands
- Status:
- Published
- DOI:
- 10.1007/s10849-019-09280-9 – link to the publication
-
Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches
- Authors:
- Justyna Grudzińska, Marek Zawadowski
- Academic press:
- Fundamenta Informaticae (year: 2019, volume: 164(4), pages: 327–344), Publisher: Polskie Towarzystwo Matematyczne, IOS Press(Poland)
- Status:
- Published
- DOI:
- 10.3233/FI-2019-1771 – link to the publication
Articles in post-conference publications (1)
-
Inverse Linking: Taking Scope with Dependent Types
- Authors:
- Justyna Grudzińska, Marek Zawadowski
- Conference:
- 21st Amsterdam Colloquium (year: 2017, pages: 285-295), Publisher: Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam
- Date:
- conference 20-22 grudnia 2017
- Status:
- Published
- DOI:
- link to the publication
Book publications / chapters in book publications (1)
-
A Scope-Taking System with Dependent Types and Continuations
- Authors:
- Justyna Grudzinska, Marek Zawadowski
- Book:
- Logic and Algorithms in Computational Linguistics 2018 (year: 2020, volume: 860, pages: 155-176), Publisher: Springer
- Status:
- Published