FEITOSA, Hércules de Araújo; DE FREITAS, Romulo Albano; SOARES, Marcelo Reicher. 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: http://app-testes-periodicos.uesb.br/intermaths/article/view/11378. Acesso em: 8 maio. 2025.