Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction | IEEE Journals & Magazine | IEEE Xplore