TY  - RPRT
TI  - Orthomodular lattices can be converted into left residuated l-groupoids
AU  - Ivan Chajda
AU  - Helmut Länger
PY  - 2018
DO  - 10.18514/mmn.2017.1730
UR  - https://arxiv.org/abs/1810.00032
ID  - 1810.00032
ER  -