Projekty finansowane przez NCN

Przestrzeń rozumowania - znacznie reprezentacji wizualnych i gestów w rozumowaniu dedukcyjnym

Konkurs: HARMONIA 6 , panel: HS6

Kierownik: dr Robert Mackiewicz

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Psychologii

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny