The law x ≤ I(y; x) and the three main classes of fuzzy implications | IEEE Conference Publication | IEEE Xplore