Undecidability of Linear Logics without Weakening. - Jun Suzuki 012; Katsuhiko Sano (CoRR, 2025)