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