2022. Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux. C.Q.D. - Revista Eletrônica Paulista de Matemática. 7, (nov. 2022).