Annotated Paraconsistent Logic

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]

Abstract

Abstract is missing.