TY - RPRT TI - Monadic ortholattices: completions and duality AU - John Harding AU - Joseph McDonald AU - Miguel Peinado PY - 2024 UR - https://arxiv.org/abs/2406.06917 ID - 2406.06917 ER -