Projekty finansowane przez NCN
Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
2017/25/B/HS1/01268
Słowa kluczowe:
logiki nieklasyczne logiki modalne systemy dedukcyjne systemy tablicowe rachunki sekwentowe rozstrzygalność
Deskryptory:
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
woj. łódzkie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 3
Konkurs: OPUS 13 - ogłoszony 2017-03-15
Przyznana kwota: 364 680 PLN
Rozpoczęcie projektu: 2018-01-01
Zakończenie projektu: 2023-01-14
Planowany czas trwania projektu: 60 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.