Helga Gonzaga Martins, Carlos Henrique Valério de Moraes, Claudio Inácio de Almeida Costa, Germano Lambert-Torres, Antônio Faria Neto. Annotated Paraconsistent Logic. In Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho, Helga Gonzaga Martins, editors, Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007. Volume 186 of Frontiers in Artificial Intelligence and Applications, pages 85-113, IOS Press, 2007. [doi]
@inproceedings{MartinsMCLN07,
title = {Annotated Paraconsistent Logic},
author = {Helga Gonzaga Martins and Carlos Henrique Valério de Moraes and Claudio Inácio de Almeida Costa and Germano Lambert-Torres and Antônio Faria Neto},
year = {2007},
doi = {10.3233/978-1-58603-936-3-85},
url = {http://dx.doi.org/10.3233/978-1-58603-936-3-85},
tags = {logic},
researchr = {https://researchr.org/publication/MartinsMCLN07},
cites = {0},
citedby = {0},
pages = {85-113},
booktitle = {Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007},
editor = {Germano Lambert-Torres and Jair Minoro Abe and João Inácio da Silva Filho and Helga Gonzaga Martins},
volume = {186},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-936-3},
}