Lázaro, C. A., Feitosa, H. de A., & Soares, M. R. . (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