H. de A. Feitosa, M. R. Soares, e C. A. Lázaro, “Lógica da Dedutibilidade: o axioma modal B e adjunções”, Braz. Elect. J. Math., vol. 2, nº 3, p. 52–69, dez. 2020.