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: https://periodicos2.uesb.br/intermaths/article/view/11378. Acesso em: 21 maio. 2026.