Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 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 Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny