Projects funded by the NCN

Between proof theory, reverse mathematics, and the model theory of arithmetic

Call: OPUS 25 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: SONATA BIS 7 , Panel: HS1

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

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

Women's science fiction prose in Poland. The theory of three circles

Call: PRELUDIUM 7 , Panel: HS2

Principal investigator: Maria Krystyna Głowacka

Uniwersytet Szczeciński, Wydział Filologiczny

Real Economic Convergence: Multidimensional Econometric Analysis with the Identification of Turning Points Based on the ...

Call: OPUS 4 , Panel: HS4

Principal investigator: dr hab. Mariusz Próchniak

Szkoła Główna Handlowa w Warszawie, Kolegium Gospodarki Światowej

Re-introducing the Early Byzantine Metaphysics: Leontius of Byzantium, Maximus the Confessor, Anastasius Sinaita, Theodo...

Call: OPUS 3 , Panel: HS1

Principal investigator: dr hab. Anna Zhyrkova

Akademia Ignatianum w Krakowie, Wydział Filozoficzny

Define the role and modulation of immune diabetes changed factors - their importance to the action of analgesics.

Call: PRELUDIUM 3 , Panel: NZ4

Principal investigator: Magdalena Małgorzata Żychowska

Instytut Farmakologii PAN

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

Call: MAESTRO 2 , Panel: HS1

Principal investigator: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

80 years of investigations on natural deduction and sequent calculi

Call: OPUS 2 , Panel: HS1

Principal investigator: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny