Feitosa, Hércules de Araujo, Marcelo Reicher Soares, e Cristiane Alexandra Lázaro. “Lógica Da Dedutibilidade: O Axioma Modal B E adjunções”. BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS 2, no. 3 (dezembro 22, 2020): 52–69. Acessado novembro 23, 2024. https://seer.ufu.br/index.php/BEJOM/article/view/54740.