N. Veltri, C.-S. Wan. Semi-substructural logics with additives.
In T. Kutsia, D. Ventura, eds., Proc. of 18th Int. Wksh. on Logic and Semantic Frameworks with Applications, LSFA 2023 (Rome, July 2023), Electron. Proc. in Theor. Comput. Sci., Open Publishing Assoc., to appear. Agda code
T. Uustalu, N. Veltri, C.-S. Wan. Proof theory of skew non-commutative MILL.
In A. Indrzejczak, M. Zawidzki, eds., Proc. of 10th Int. Conf. on Non-classical Logics: Theory and Applications, NCL 2022 (Lódź, March 2022), v. 358 of Electron. Proc. in Theor. Comput. Sci., pp. 118-135. Open Publishing Assoc., 2022. Agda codepdf