Lógica da inconsistência formal com substituição: Um estudo algébrico e de teoria ...
Avanços e novas perspectivas em revisão de crenças paraconsistente
Bases para programação lógica paraconsistente em lógicas multivaloradas
Uma análise lógica da noção de consistência na prática da Teoria dos Conjuntos
Tableaux analíticos para os sistemas proposicionais paraconsistentes Cn de da cost...
Semânticas não-determinísticas para as lógicas da inconsistência formal