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