paraconsistent logic

Short definition from Wiktionary

Noun

1. 1
   A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.
2. 2
   The study of such systems.