3 projects found matching your search criteria :
Tolerance relations in lattices and their applications
Call: OPUS 1 , Panel: HS1
Principal investigator: dr hab. Joanna Grygiel
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
On finitely branching Kripke frames in modal logics
Call: OPUS 5 , Panel: HS1
Principal investigator: dr hab. Zofia Kostrzycka
Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki
Relationships between algebraic, modal and many-valued quantum logics
Call: PRELUDIUM 20 , Panel: HS1
Principal investigator: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II