TY - RPRT TI - Orthomodular Lattices and Quantales AU - Leopoldo Roman PY - 2003 UR - https://arxiv.org/abs/math/0211133 ID - math/0211133 ER -