Wan C-S. Semi-Substructural Logics à la Lambek with Symmetry. B Sect Log [Internet]. 2026 Mar. 13 [cited 2026 Sep. 29];54(4):519–576. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24426