MMN-1730
Orthomodular lattices can be converted into left residuated l-groupoids
Ivan Chajda; Helmut Länger;Abstract
We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.
Vol. 18 (2017), No. 2, pp. 685-689