Feitosa H de A, de Freitas RA, Soares MR. Dois Sistema dedutivos para a Lógica PM4N. INTERMATHS [Internet]. 31º de dezembro de 2022 [citado 8º de maio de 2025];3(2):38-55. Disponível em: http://app-testes-periodicos.uesb.br/intermaths/article/view/11378