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
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Grabowski, Adam
Tarski Geometry Axioms. Part V – Half-planes and Planes
Coghetto, Roland, Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam