Keywords – paraconsistent logic and computer science