A paraconsistent logic is an inconsistency-tolerant logic. Such a logic is not explosive, that is, contradictory premises do not explode into triviality.

The following are some sources for paraconsistent logic.