On Weakly Associative Lattices and Near Lattices
Sawicki, Damian, Grabowski, Adam
Relational Formal Characterization of Rough Sets
Grabowski, Adam
Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
The Formal Construction of Fuzzy Numbers
Grabowski, Adam
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