Paraconsistent logic: essays on the inconsistent