Prohlížení Publikační činnost - 13101 dle autora "Turunen, Esko"
-
Commutative Bounded Integral Residuated Orthomodular Lattices are Boolean Algebras
Autor: Tkadlec, Josef; Turunen, Esko
(2011)We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.