Feitosa, Hércules de Araújo, Romulo Albano de Freitas, e Marcelo Reicher Soares. “Dois Sistema Dedutivos Para a Lógica PM4N”. Intermaths 3, no. 2 (dezembro 31, 2022): 38-55. Acessado janeiro 9, 2025. https://periodicos2.uesb.br/index.php/intermaths/article/view/11378.