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.
No takes yet. Share an insight, caveat, or question.
Chajda et al. (2017) studied this question.