KAMIDE, N.; MOURI, M. 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: 26 apr. 2024.