H. G. da Silva e H. de A. Feitosa, “Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux”, C. Q. D., vol. 7, nov. 2022.