paraconsistent logic Synonyms