Annotated Paraconsistent Logic. - Martins, Helga Gonzaga; Moraes, Carlos Henrique Valério de; Costa, Claudio Inácio de Almeida; Lambert-Torres, Germano; Neto, Antônio Faria (2007)