Projects search

• Keywords: non-classical logic ×

Change search criteria ↓

Search results

3 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. Logics of Situations

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

   Uniwersytet Warszawski, Wydział Filozofii

   Call: OPUS 13, Panel: HS1

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