Santos, E. O. V. dos; Silvestrini, L. H. da C. Sequentes Como Duais Dos Tableaux Para lógicas Polivalentes. C. Q. D. 2021, 21.