Lázaro, Cristiane Alexandra, Hércules de Araujo Feitosa, e Marcelo Reicher Soares. “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 julho 2, 2022. https://seer.ufu.br/index.php/BEJOM/article/view/54740.