Proof Theory of Skew Non-Commutative MILL. - Tarmo Uustalu; Niccolò Veltri; Cheng-Syuan Wan (NCL, 2022)

Semi-Substructural Logics with Additives. - Niccolò Veltri; Cheng-Syuan Wan (LSFA/HCVS, 2023)

Semi-Substructural Logics à la Lambek. - Cheng-Syuan Wan (NCL, 2024)