Um novo sistema de axiomas para a l´ogica paraconsistente J3. (2022). C.Q.D. - Revista Eletrônica Paulista De Matemática, 4. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/45