TY - RPRT TI - Monadic and cylindric expansions of bounded implication algebras AU - Joseph McDonald PY - 2026 UR - https://arxiv.org/abs/2606.03400 ID - 2606.03400 ER -