SILVA, Helen Gomes da; FEITOSA, H´ercules de Araujo. Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 7, 2022. Disponível em: https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/78. Acesso em: 27 ago. 2026.