On the Characterization of D-implications Satisfying I(x,n(x))=n(x)
Hang Hai-xia · Mohu xitong yu shuxue · 2010
In thispaper,we explore the D-implications of satisfying I(x,n(x))=n(x),where D-implication is generated by a continuous t-norm T,acontinuous t-conorm S and a strong negation n,i.e.I(x,y)=S(T(n(x),n(y)),y),and propose the sufficient andnecessary conditions of the I(x,n(x))=n(x) which is satisfied.