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 julho 3, 2025. http://periodicos2.uesb.br/intermaths/article/view/11378.