Involutive right-residuated l-groupoids
arXiv:1810.09534 · doi:10.1007/s00500-015-1765-7
Abstract
A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral right-residuated l-groupoids. This general framework is applied to MV-algebras,orthomodular lattices, Nelson algebras, basic algebras and Heyting algebras.
22 pages