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. Uberlândia, 2(3), p. 52–69. doi: 10.14393/BEJOM-v2-n3-2021-54740.