Keywords – paraconsistent logic and applications