Universal Implication Operators: Properties and Applications | IEEE Conference Publication | IEEE Xplore