Feitosa, H. de A., Soares, M.R. e Lázaro, C.A. (2020) “Lógica da Dedutibilidade: o axioma modal B e adjunções”, BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS, 2(3), p. 52–69. doi:10.14393/BEJOM-v2-n3-2021-54740.