Search results
2 projects found matching your search criteria:
-
1. 80 years of investigations on natural deduction and sequent calculi
Principal investigator: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
Call: OPUS 2, Panel: HS1
-
2. Sequent- and tableau-based proof systems for nonclassical logics
Principal investigator: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 13, Panel: HS1