Kamide, Norihiro, and Motohiko Mouri. “Natural Deduction Systems for Some Non-Commutative Logics”. Logic and Logical Philosophy 16, no. 2-3 (August 25, 2007): 105–146. Accessed April 19, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2007.005.