Paraconsistent Belief Revision Based on a Formal Consistency Operator PhD Thesis Rafael R. Testa University of Campinas