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 8, 2025. http://app-testes-periodicos.uesb.br/intermaths/article/view/11378.