http://dbpedia.org/resource/Paraconsistent_logic Paraconsistent logic