TY  - RPRT
TI  - Undecidability of Linear Logics without Weakening
AU  - Jun Suzuki
AU  - Katsuhiko Sano
PY  - 2025
UR  - https://arxiv.org/abs/2509.00644
ID  - 2509.00644
ER  -