2 projects found matching your search criteria :
Equivalence in Substructural Logics
Call: OPUS 23 , Panel: HS1
Principal investigator: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Axiomatizations of varieties and quasivarieties
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych