Paraconsistent logic can be used in modelling belief systems which are inconsistent, and yet from which not anything can be inferred. In standard logics, care has to be taken to not allow such statements as the liar paradox to be formed; paraconsistent logics can be much simplified in that they do not have to excise such statements (though they still have to excise Curry's paradox). Additionally, a paraconsistent logic can potentially overcome the limitation of arithmetic that Gödel's incompleteness theorem implies, and be complete.
Approaches to paraconsistent logic include: