SANTOS, E. O. V. dos; SILVESTRINI, L. H. da C. Sequentes como duais dos tableaux para lógicas polivalentes. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 21, 2021. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/307. Acesso em: 22 nov. 2024.