Paraconsistent analysis