Projekty finansowane przez NCN
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
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: 30 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/rocznego
- Publikacje w czasopismach (3)
- Teksty w publikacjach pokonferencyjnych (1)
- Publikacje książkowe (1)
- Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type AccountAutorzy:Justyna Grudzińska, Marek ZawadowskiCzasopismo:Journal of Logic, Language and Information (rok: 2019, tom: First Online, strony: 45313), Wydawca: Springer NetherlandsStatus:OpublikowanaDoi:10.1007/s10849-019-09280-9 - link do publikacji
- Continuation Semantics for Multi-Quantifier Sentences: Operation-Based ApproachesAutorzy:Justyna Grudzińska, Marek ZawadowskiCzasopismo:Fundamenta Informaticae (rok: 2019, tom: 164(4), strony: 327–344), Wydawca: Polskie Towarzystwo Matematyczne, IOS Press(Poland)Status:OpublikowanaDoi:10.3233/FI-2019-1771 - link do publikacji
- Scope ambiguities, monads and strengthsAutorzy:Justyna Grudzińska, Marek ZawadowskiCzasopismo:Journal of Language Modelling (rok: 2017, tom: 5(2), strony: 179-227), Wydawca: Institute of Computer Science PASStatus:OpublikowanaDoi:10.15398/jlm.v5i2.163 - link do publikacji
- Inverse Linking: Taking Scope with Dependent TypesAutorzy:Justyna Grudzińska, Marek ZawadowskiKonferencja:21st Amsterdam Colloquium (rok: 2017, ), Wydawca: Institute for Logic, Language and Computation (ILLC) of the University of AmsterdamData:konferencja 20-22 grudnia 2017Status:Opublikowana
- A Scope-Taking System with Dependent Types and ContinuationsAutorzy:Justyna Grudzinska, Marek ZawadowskiKsiążka:Logic and Algorithms in Computational Linguistics 2018 (rok: 2020, tom: 860, strony: 155-176), Wydawca: SpringerStatus:Opublikowana