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
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam
Orthomodular Lattices
Mądra, Elżbieta, Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
Cauchy Mean Theorem
Grabowski, Adam
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
Two Axiomatizations of Nelson Algebras
Grabowski, Adam
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Grabowski, Adam