“Sequentes como duais dos tableaux para lógicas polivalentes” (2021) C.Q.D. - Revista Eletrônica Paulista de Matemática, 21. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/307 (Acesso em: 12 outubro 2025).