Keywords – paraconsistent logic and Computer Science

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