área de pesquisa Joao Carlos Pereira da Silva Rafael Rodrigues Testa Revisão de crenças paraconsistente baseada em um operador formal de consistência
