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