Um novo sistema de axiomas para a l´ogica paraconsistente J3. C. Q. D. [Internet]. 2022 Nov. 12 [cited 2025 Oct. 12];4. Available from: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/45