Máquinas de Turing paraconsistentes: análises e perspectivas
Algoritmos inteligentes aplicados à tomada de decisão em transplante hepático
A relação entre a lógica da verdade pragmática LPT e a lógica clássica
Revisão de crenças paraconsistente: modelos construtivos e novas operações