Wyszukiwarka projektów

• Słowa kluczowe: systemy dedukcyjne ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 4 projekty spełniających kryteria wyszukiwania:

1. 1. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

   Kierownik: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: OPUS 13, panel: HS1

2. 2. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

   Kierownik: dr Michał Ksawery Zawidzki

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: PRELUDIUM 1, panel: HS1

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

4. 4. Aksjomatyzacje rozmaitości i quasirozmaitości

   Kierownik: dr Michał Stronkowski

   Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

   Konkurs: SONATA 1, panel: ST1