Feitosa, H. de A., de Freitas, R.A. e Soares, M.R. 2022. Dois Sistema dedutivos para a Lógica PM4N. Intermaths. 3, 2 (dez. 2022), 38-55. DOI:https://doi.org/10.22481/intermaths.v3i2.11378.