A note on residuated po-groupoids and lattices with antitone involutions
arXiv:1808.10293 · doi:10.1515/ms-2016-0289
Abstract
Following [Botur, M., Chajda, I., Halaš, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partially ordered groupoids and the so-called basic algebras, which are a non-commutative and non-associative generalization of MV-algebras and orthomodular lattices.