Commutative bounded integral residuated orthomodular lattices are Boolean algebras

Josef Tkadlec, Esko Turunen. Commutative bounded integral residuated orthomodular lattices are Boolean algebras. Soft Comput., 15(4):635-636, 2010. [doi]

Abstract

Abstract is missing.