Tytuł projektu: Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranymi metodami obliczeniowymi
Instytucja: Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Miasto: Poznań
Województwo: wielkopolskie
Kierownik projektu: dr hab. Dorota Leszczyńska-Jasion
Panel: HS1 (obszar: HS)
Liczba wykonawców: 7
Finansowanie: 1678055 PLN
Okres realizacji: 2018-04-09 00:00:00 – 2023-10-08 00:00:00 (66 miesięcy)