TY - RPRT TI - A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic AU - Yuki Nishimuta AU - Mitsuhiro Okada PY - 2026 UR - https://arxiv.org/abs/1804.02540 ID - 1804.02540 ER -