Tarski Geometry Axioms. Part V – Half-planes and Planes
Coghetto, Roland, Grabowski, Adam
Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Grabowski, Adam, Sawicki, Damian
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam