A Paraconsistent Higher Order Logic