By means of the generalized additive generators of representable uninorms, we introduce a kind of fuzzy implications, which are called
-implications. These implications are shown to be different from the known (S, N)-, R-, QL-, generalized-
and
-generated, and Yager’s
- and
-implications. Generalizations of three classical logic tautologies with implications are investigated. A series of necessary and sufficient conditions are established, under which the corresponding functional equations are satisfied.