Paraconsistent logic consistency, contradiction and negation - Carnielli, Walter Alexandre 1952-; Coniglio, Marcelo Esteban (Logic, epistemology, and the unity of science, 2016)