Projekty finansowane przez NCN

Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

Konkurs: OPUS 13 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Logiki sytuacji

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

Konkurs: PRELUDIUM 10 , panel: HS1

Kierownik: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny