Znaleziono 6 projektów spełniających kryteria wyszukiwania:
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 Stanisław 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 Jennifer 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 Marcin Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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