On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
The Formal Construction of Fuzzy Numbers
Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam
Basic Formal Properties of Triangular Norms and Conorms
Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam