Wan, C.-S. Semi-Substructural Logics à La Lambek With Symmetry. B Sect Log 2026, 54 (4), 519–576. https://doi.org/10.18778/0138-0680.2025.17.