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