Wan, C.-S. (2026). Semi-Substructural Logics à la Lambek with Symmetry. Bulletin of the Section of Logic, 54(4), 519–576. https://doi.org/10.18778/0138-0680.2025.17