Projekty finansowane przez NCN
Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi
2013/09/B/HS1/00701
Słowa kluczowe:
logika modalna systemy Brouwera struktury relacyjne Kripkego własność skończonych modeli krata logik.
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:
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
woj. opolskie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 1
Konkurs: OPUS 5 - ogłoszony 2013-03-15
Przyznana kwota: 55 440 PLN
Rozpoczęcie projektu: 2014-03-01
Zakończenie projektu: 2015-09-06
Planowany czas trwania projektu: 18 miesięcy (z wniosku)
Status projektu: Projekt rozliczony