Feitosa, H. de A.; de Freitas, R. A.; Soares, M. R. Dois Sistema Dedutivos Para a Lógica PM4N. Intermaths 2022, 3, 38-55.