Keywords – paraconsistent logic programming

Jair Minoro Abe, Kazumi Nakamatsu and Bráulio Coelho Ávila