On the laws of contraposition for residual implications derived from overlap functions | IEEE Conference Publication | IEEE Xplore