On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Grabowski, Adam, Sawicki, Damian
Tarski Geometry Axioms. Part IV – Right Angle
Coghetto, Roland, Grabowski, Adam
On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
Elementary Number Theory Problems. Part VI
Grabowski, Adam
On the Permanent of a Matrix
Romanowicz, Ewa, Grabowski, Adam
Polygonal Numbers
Grabowski, Adam
On Square-Free Numbers
Grabowski, Adam
Introduction to Formal Preference Spaces
Niewiadomska, Eliza, Grabowski, Adam
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Formalization of Generalized Almost Distributive Lattices
Grabowski, Adam
Two Axiomatizations of Nelson Algebras
Grabowski, Adam