A
paraconsistent logic is a
logical system that attempts to deal with
contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of
logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic.