Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

2016/23/B/HS1/00734

Keywords:

semantics quantification continuations dependent types

Descriptors:

  • HS1_3: Epistemology (incl. sources of knowledge, criteria of truth, philosophy of language)
  • HS1_4: Logic, science methodology, philosophy of science

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

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Justyna 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 (Y-m-d): 2017-07-13

Project end date (Y-m-d): 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)
  • Articles in post-conference publications (1)
  • Book publications / chapters in book publications (1)
  1. 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 (rok: 2019, tom: First Online, strony: 45313), Wydawca: Springer Netherlands
    Status:
    Published
    DOI:
    10.1007/s10849-019-09280-9 - link to the publication
  2. Scope ambiguities, monads and strengths
    Authors:
    Justyna Grudzińska, Marek Zawadowski
    Academic press:
    Journal of Language Modelling (rok: 2017, tom: 5(2), strony: 179-227), Wydawca: Institute of Computer Science PAS
    Status:
    Published
    DOI:
    10.15398/jlm.v5i2.163 - link to the publication
  3. Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches
    Authors:
    Justyna Grudzińska, Marek Zawadowski
    Academic press:
    Fundamenta Informaticae (rok: 2019, tom: 164(4), strony: 327–344), Wydawca: Polskie Towarzystwo Matematyczne, IOS Press(Poland)
    Status:
    Published
    DOI:
    10.3233/FI-2019-1771 - link to the publication
  1. Inverse Linking: Taking Scope with Dependent Types
    Authors:
    Justyna Grudzińska, Marek Zawadowski
    Conference:
    21st Amsterdam Colloquium (rok: 2017, ), Wydawca: Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam
    Data:
    konferencja 20-22 grudnia 2017
    Status:
    Published
    DOI:
    link to the publication
  1. A Scope-Taking System with Dependent Types and Continuations
    Authors:
    Justyna Grudzinska, Marek Zawadowski
    Book:
    Logic and Algorithms in Computational Linguistics 2018 (rok: 2020, tom: 860, strony: 155-176), Wydawca: Springer
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy