Paraconsistent Logic: Consistency, Contradiction and Negation - Carnielli, Walter; Coniglio, Marcelo Esteban (Springer International Publishing, 2016)