Abstract Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge bases. We present a paraconsistent many-valued logic with a simple and new semantics for the logical operators. In particular we compare our approach with work based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. 1.

Oxford English Dictionary: By nominalization we understand the process of converting a word or phrase into a noun Nominalization is important for natural language processing “The apple is red and red is a colour”