Projekty finansowane przez NCN

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

Konkurs: HARMONIA 6 , panel: HS6

Kierownik: dr Robert Mackiewicz

SWPS Uniwersytet Humanistycznospołeczny w Warszawie, Wydział Psychologii

"Celui dont le nom est béni pour l'éternité": Une étude des dédicaces sans théonymes à Palmyre. ("Ten, którego imię jest...

Konkurs: ETIUDA 2 , panel: HS3

Kierownik: Aleksandra Kubiak-Schneider

Uniwersytet Warszawski, Wydział Historyczny

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, 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