FRANCEZ, N. Does the Implication Elimination Rule Need a Minor Premise?. Logic and Logical Philosophy, [S. l.], v. 27, n. 3, p. 351–373, 2017. DOI: 10.12775/LLP.2017.019. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2017.019. Acesso em: 26 apr. 2024.