KAMIDE, Norihiro; MOURI, Motohiko. Natural deduction systems for some non-commutative logics. Logic and Logical Philosophy, [S. l.], v. 16, n. 2-3, p. 105–146, 2007. DOI: 10.12775/LLP.2007.005. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2007.005. Acesso em: 8 feb. 2025.