Paraconsistent Logic Theory view 2