Feitosa H de A, Soares MR, Lázaro CA. Lógica da Dedutibilidade: o axioma modal B e adjunções. Braz. Elect. J. Math. [Internet]. 22º de dezembro de 2020 [citado 23º de julho de 2024];2(3):52-69. Disponível em: https://seer.ufu.br/index.php/BEJOM/article/view/54740