On implicative closure operators in approximate reasoning | IEEE Conference Publication | IEEE Xplore