Feitosa, Hércules de Araújo, Romulo Albano de Freitas, e Marcelo Reicher Soares. 2022. “Dois Sistema Dedutivos Para a Lógica PM4N”. Intermaths 3 (2). Vitória da Conquista:38-55. https://doi.org/10.22481/intermaths.v3i2.11378.