Paraconsistent Logic Theory view 3