“Logic of Pragmatic Truth Presented in a Tableaux Deductive System”. C.Q.D. - Revista Eletrônica Paulista de Matemática 7 (November 19, 2022). Accessed October 12, 2025. https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/78.