TY - RPRT TI - Ordered Adjoint Logic AU - Sophia Roshal AU - Frank Pfenning PY - 2026 UR - https://arxiv.org/abs/2605.19112 ID - 2605.19112 ER -