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