Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

2016/23/B/HS1/00734

Słowa kluczowe:

semantyka kwantyfikacja kontynuacje typy zależne

Deskryptory:

  • HS1_3: Epistemologia (w tym: źródła poznania, kryteria prawdy, filozofia języka)
  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Justyna Grudzińska-Zawadowska 

Liczba wykonawców projektu: 2

Konkurs: OPUS 12 - ogłoszony 2016-09-15

Przyznana kwota: 156 000 PLN

Rozpoczęcie projektu: 2017-07-13

Zakończenie projektu: 2020-01-12

Planowany czas trwania projektu: 24 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (1)
  • Publikacje książkowe (1)
  1. Scope ambiguities, monads and strengths
    Autorzy:
    Justyna Grudzińska, Marek Zawadowski
    Czasopismo:
    Journal of Language Modelling (rok: 2017, tom: 5(2), strony: 179-227), Wydawca: Institute of Computer Science PAS
    Status:
    Opublikowana
    Doi:
    10.15398/jlm.v5i2.163 - link do publikacji
  2. Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches IF: 0,725
    Autorzy:
    Justyna Grudzińska, Marek Zawadowski
    Czasopismo:
    Fundamenta Informaticae (rok: 2019, tom: 164(4), strony: 327–344), Wydawca: Polskie Towarzystwo Matematyczne, IOS Press(Poland)
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2019-1771 - link do publikacji
  3. Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account IF: 0,536
    Autorzy:
    Justyna Grudzińska, Marek Zawadowski
    Czasopismo:
    Journal of Logic, Language and Information (rok: 2019, tom: First Online, strony: 44948), Wydawca: Springer Netherlands
    Status:
    Opublikowana
    Doi:
    10.1007/s10849-019-09280-9 - link do publikacji
  1. Inverse Linking: Taking Scope with Dependent Types
    Autorzy:
    Justyna Grudzińska, Marek Zawadowski
    Konferencja:
    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:
    Opublikowana
  1. A Scope-Taking System with Dependent Types and Continuations
    Autorzy:
    Justyna Grudzinska, Marek Zawadowski
    Książka:
    Logic and Algorithms in Computational Linguistics 2018 (rok: 2020, tom: 860, strony: 155-176), Wydawca: Springer
    Status:
    Opublikowana