Santos EOV dos, Silvestrini LH da C. Sequentes como duais dos tableaux para lógicas polivalentes. C. Q. D. [Internet]. 21º de dezembro de 2021 [citado 22º de novembro de 2024];21. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/307