Wyszukiwarka projektów

• Słowa kluczowe: logiki nieklasyczne ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 7 projektów 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. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

   Kierownik: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: OPUS 13, panel: HS1

3. 3. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

   Kierownik: Krzysztof Aleksander Krawczyk

   Uniwersytet Jagielloński, Wydział Filozoficzny

   Konkurs: PRELUDIUM 22, panel: HS1

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

5. 5. Logiki sytuacji

   Kierownik: dr hab. Joanna Golińska-Pilarek

   Uniwersytet Warszawski, Wydział Filozofii

   Konkurs: OPUS 13, panel: HS1

6. 6. Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

   Kierownik: Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Konkurs: PRELUDIUM 10, panel: HS1

7. 7. Epistemologia sankhji: spostrzeżenie i wnioskowanie w klasycznej i poklasycznej sankhji

   Kierownik: dr hab. Ołena Łucyszyna

   Instytut Kultur Śródziemnomorskich i Orientalnych PAN

   Konkurs: OPUS 18, panel: HS1