Kamide, Norihiro, and Motohiko Mouri. 2007. “Natural Deduction Systems for Some Non-Commutative Logics”. Logic and Logical Philosophy 16 (2-3):105-46. https://doi.org/10.12775/LLP.2007.005.