Lázaro, Cristiane Alexandra, Hércules de Araujo Feitosa, e Marcelo Reicher Soares. 2020. “Lógica Da Dedutibilidade: O Axioma Modal B E adjunções”. BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS 2 (3):52-69. https://doi.org/10.14393/BEJOM-v2-n3-2021-54740.