Sequentes como duais dos tableaux para lógicas polivalentes. C. Q. D. [Internet]. 2021 Dec. 21 [cited 2025 Nov. 7];21. Available from: https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/307