Kamide, N., & Mouri, M. (2007). Natural deduction systems for some non-commutative logics. Logic and Logical Philosophy, 16(2-3), 105–146. https://doi.org/10.12775/LLP.2007.005