New Directions in Paraconsistent Logic