Stone Lattices
Grabowski, Adam
Binary Relations-based Rough Sets – an Automated Approach
Grabowski, Adam
Sequences of Prime Reciprocals. Preliminaries
Grabowski, Adam
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 V – Half-planes and Planes
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