[1]
E. O. V. dos Santos e L. H. da C. Silvestrini, “Sequentes como duais dos tableaux para lógicas polivalentes”, C. Q. D., vol. 21, dez. 2021.