TY - RPRT TI - Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics AU - Juntao Wang AU - jieqiong Shi AU - Mei Wang PY - 2026 UR - https://arxiv.org/abs/2609.09529 ID - 2609.09529 ER -