Two Axiomatizations of Nelson Algebras
Grabowski, Adam
Binary Relations-based Rough Sets – an Automated Approach
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
All Liouville Numbers are Transcendental
Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam
Basic Formal Properties of Triangular Norms and Conorms
Grabowski, Adam
Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Fundamental Properties of Fuzzy Implications
Grabowski, Adam
Formal Development of Rough Inclusion Functions
Grabowski, Adam
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
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse