Projects search

• Keywords: logiki nieklasyczne ×

Change search criteria ↓

Search results

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

3. 3. Post completeness vs neighborhood completeness in classical modal logics

   Principal investigator: Krzysztof Aleksander Krawczyk

   Uniwersytet Jagielloński, Wydział Filozoficzny

   Call: PRELUDIUM 22, Panel: HS1

4. 4. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

   Principal investigator: prof. Andrzej Pietruszczak

   Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

   Call: OPUS 22, Panel: HS1

5. 5. Logics of Situations

   Principal investigator: dr hab. Joanna Golińska-Pilarek

   Uniwersytet Warszawski, Wydział Filozofii

   Call: OPUS 13, Panel: HS1

6. 6. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

   Principal investigator: Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Call: PRELUDIUM 10, Panel: HS1

7. 7. Sāṁkhya Epistemology: Perception and Inference in Classical and Postclassical Sāṁkhya

   Principal investigator: dr hab. Ołena Łucyszyna

   Instytut Kultur Śródziemnomorskich i Orientalnych PAN

   Call: OPUS 18, Panel: HS1