Wan CS. Semi-Substructural Logics à la Lambek with Symmetry. B Sect Log. 2026;54(4):519–576. doi:10.18778/0138-0680.2025.17