SANTOS, Elias Oliveira Vieira dos; SILVESTRINI, Luiz Henrique da Cruz. 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://revistas.bauru.unesp.br/index.php/revistacqd/article/view/307. Acesso em: 27 aug. 2026.