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