Projects search

• Keywords: systemy dedukcyjne ×

Change search criteria ↓

Search results

4 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. Deductive systems and decidability problem for hybrid logics

   Principal investigator: dr Michał Ksawery Zawidzki

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Call: PRELUDIUM 1, Panel: HS1

3. 3. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

   Principal investigator: dr hab. Dorota Leszczyńska-Jasion

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

   Call: SONATA BIS 7, Panel: HS1

4. 4. Axiomatizations of varieties and quasivarieties

   Principal investigator: dr Michał Stronkowski

   Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

   Call: SONATA 1, Panel: ST1