Keywords – paraconsistent annotated logic