Wyszukiwarka projektów

• Słowa kluczowe: non-classical logic ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym…

   Kierownik: dr hab. Dorota Leszczyńska-Jasion

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

   Konkurs: SONATA BIS 7, panel: HS1

2. 2. Logiki sytuacji

   Kierownik: dr hab. Joanna Golińska-Pilarek

   Uniwersytet Warszawski, Wydział Filozofii

   Konkurs: OPUS 13, panel: HS1

3. 3. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

   Kierownik: prof. Andrzej Pietruszczak

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

   Konkurs: OPUS 22, panel: HS1