Feitosa, H. de A., de Freitas, R. A. e Soares, M. R. (2022) “Dois Sistema dedutivos para a Lógica PM4N”, Intermaths. Vitória da Conquista, 3(2), p. 38-55. doi: 10.22481/intermaths.v3i2.11378.