Projects search

• Principal investigator: Andrzej Bogusław Indrzejczak ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. 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

2. 2. 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