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