Keywords – paraconsistent logic