Santos, E. O. V. dos, & Silvestrini, L. H. da C. (2021). Sequentes como duais dos tableaux para lógicas polivalentes. C.Q.D. - Revista Eletrônica Paulista De Matemática, 21. Recuperado de https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/307