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
On Fuzzy Negations Generated by Fuzzy Implications
Grabowski, Adam
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
Elementary Number Theory Problems. Part XVIII
Grabowski, Adam
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices
Grabowski, Adam
On the Properties of the Möbius Function
Jastrzebska, Magdalena, Grabowski, Adam
Two Axiomatizations of Nelson Algebras
Grabowski, Adam
Elementary Number Theory Problems. Part VI
Grabowski, Adam