Developing Complementary Rough Inclusion Functions
Grabowski, Adam
On Weakly Associative Lattices and Near Lattices
Sawicki, Damian, Grabowski, Adam
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam
Orthomodular Lattices
Mądra, Elżbieta, Grabowski, Adam
Cauchy Mean Theorem
Grabowski, Adam