Feitosa, H. de A., R. A. de Freitas, e M. R. Soares. “Dois Sistema Dedutivos Para a Lógica PM4N”. Intermaths, vol. 3, nº 2, dezembro de 2022, p. 38-55, doi:10.22481/intermaths.v3i2.11378.