TY - RPRT TI - Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices AU - Chun-Yu Lin AU - Joseph McDonald PY - 2025 UR - https://arxiv.org/abs/2506.08271 ID - 2506.08271 ER -