Concept: Paraconsistent logic