Involutive right-residuated l-groupoids
Logic
2018-10-24 v1
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.
Keywords
Cite
@article{arxiv.1810.09534,
title = {Involutive right-residuated l-groupoids},
author = {Ivan Chajda and Sandor Radeleczki},
journal= {arXiv preprint arXiv:1810.09534},
year = {2018}
}
Comments
22 pages