Znaleziono 6 projektów spełniających kryteria wyszukiwania:
Relacje tolerancji w kratach i ich wykorzystanie
Konkurs: OPUS 1 , panel: HS1
Kierownik: dr hab. Joanna Grygiel
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Reprezentacje semantyk algebraicznych dla logik podstrukturalnych
Konkurs: OPUS 24 (LAP) , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Równoważność w logikach podstrukturalnych
Konkurs: OPUS 23 , panel: HS1
Kierownik: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Logiczno-filozoficzne podstawy geometrii i topologii
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Konkurs: SONATA 15 , panel: ST1
Kierownik: dr Tomasz Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki