Feitosa, Hércules de Araújo, et al. “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.