Paraconsistent logic

Is focused on the concept of contradictions that can be true in some contexts.