Santos, Elias Oliveira Vieira dos, e Luiz Henrique da Cruz Silvestrini. “Sequentes Como Duais Dos Tableaux Para lógicas Polivalentes”. C.Q.D. - Revista Eletrônica Paulista de Matemática 21 (dezembro 21, 2021). Acessado novembro 22, 2024. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/307.