Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Fundamental Properties of Fuzzy Implications
Grabowski, Adam
Tarski Geometry Axioms. Part IV – Right Angle
Coghetto, Roland, Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
Orthomodular Lattices
Mądra, Elżbieta, Grabowski, Adam
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam
Cauchy Mean Theorem
Grabowski, Adam
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam