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 3º de julho de 2024];3(2):38-55. Disponível em: https://periodicos2.uesb.br/index.php/intermaths/article/view/11378