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]

@article{TkadlecT10,
  title = {Commutative bounded integral residuated orthomodular lattices are Boolean algebras},
  author = {Josef Tkadlec and Esko Turunen},
  year = {2010},
  doi = {10.1007/s00500-010-0572-4},
  url = {http://dx.doi.org/10.1007/s00500-010-0572-4},
  tags = { algebra},
  researchr = {https://researchr.org/publication/TkadlecT10},
  cites = {0},
  citedby = {0},
  journal = {Soft Comput.},
  volume = {15},
  number = {4},
  pages = {635-636},
}