FEITOSA, H. de A.; SOARES, M. R.; LÁZARO, C. A. Lógica da Dedutibilidade: o axioma modal B e adjunções. BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS, Uberlândia, v. 2, n. 3, p. 52–69, 2020. DOI: 10.14393/BEJOM-v2-n3-2021-54740. Disponível em: https://seer.ufu.br/index.php/BEJOM/article/view/54740. Acesso em: 23 jul. 2024.