1
2
3
Assuntos:
“...Método dos tableaux...”
Um método dos tablôs por prova direta para a lógica clássica
Dissertação
4
5
Assuntos:
“...Tableaux analíticos...”
A lógica da verdade pragmática em um sistema de tableaux
Dissertação
6
Assuntos:
“...Tableaux...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
7
Assuntos:
“...Positive tableaux...”
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
Dissertação