Feitosa H de A, Soares MR, Lázaro CA. Lógica da Dedutibilidade: o axioma modal B e adjunções. Braz. Elect. J. Math. 2020;2(3):52-69. doi:10.14393/BEJOM-v2-n3-2021-54740