TY - JOUR AU - Bevis, J. H. AU - Martin, C. K. TI - Residuation theory and matrix multiplication on orthomodular lattices JO - Glasgow mathematical journal PY - 1969 SP - 60 EP - 65 VL - 10 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.1017/S0017089500000549/ DO - 10.1017/S0017089500000549 ID - 10_1017_S0017089500000549 ER -