Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18 Conference proceedings at Scopus Article at Scopus