The variety of complemented lattices where conjunction and implication form an adjoint pair. - Václav Cenker; Ivan Chajda; Helmut Länger (J. Log. Comput., 2025)

Free Algebras in Finitely Generated Varieties of Commutative BCK-algebras. - Václav Cenker (Order, 2025)