Basic Formal Properties of Triangular Norms and Conorms
Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
The Formal Construction of Fuzzy Numbers
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam
On Weakly Associative Lattices and Near Lattices
Sawicki, Damian, Grabowski, Adam