TY - RPRT TI - Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration AU - Tenyo Takahashi PY - 2026 UR - https://arxiv.org/abs/2510.22638 ID - 2510.22638 ER -