Orthomodular lattices can be converted into left residuated l-groupoids
Ivan Chajda, Helmut Länger · Miskolc mathematical notes/Mathematical notes · 2017
We show that every orthomodular lattice can be considered as a left residuated lgroupoid 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.