Paraconsistent Logic: Consistency, Contradiction and Negation | EKB DL