Orthomodular Lattices
Mądra, Elżbieta, Grabowski, Adam
Cauchy Mean Theorem
Grabowski, Adam
Tarski Geometry Axioms. Part III
Coghetto, Roland, Grabowski, Adam
On the Lattice of Intervals and Rough Sets
Grabowski, Adam, Jastrzębska, Magdalena
Formalization of Trellises and Tolerance Relations
Grabowski, Adam, Turowski, Franciszek
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse