Projects search

• Keywords: proof complexity ×

Change search criteria ↓

Search results

4 projects found matching your search criteria:

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

2. 2. The keystone structure concept: multilevel significance of bird nests as the proof of the existence of critical ecosyste…

   Principal investigator: dr hab. Michał Adam Ciach

   Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

   Call: OPUS 21, Panel: NZ8

3. 3. Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

   Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 14, Panel: ST1

4. 4. Deductive systems and decidability problem for hybrid logics

   Principal investigator: dr Michał Ksawery Zawidzki

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Call: PRELUDIUM 1, Panel: HS1