Lázaro, C. A., H. de A. Feitosa, e M. R. . Soares. “Lógica Da Dedutibilidade: O Axioma Modal B E adjunções”. BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS, vol. 2, nº 3, dezembro de 2020, p. 52-69, doi:10.14393/BEJOM-v2-n3-2021-54740.