FEITOSA, H. de A.; DE FREITAS, R. A.; SOARES, M. R. Dois Sistema dedutivos para a Lógica PM4N. Intermaths, Vitória da Conquista, v. 3, n. 2, p. 38-55, 2022. DOI: 10.22481/intermaths.v3i2.11378. Disponível em: https://periodicos2.uesb.br/index.php/intermaths/article/view/11378. Acesso em: 3 jul. 2024.