Relationship of Universal Operation Model in Universal Logic
LUO Min-xia,HE Hua-can,MA Ying-cang
DOI: https://doi.org/10.3969/j.issn.1001-3695.2006.06.007
2006-01-01
Abstract:This paper studies the relationship of the universal conjunction model,the universal disjunction model and fuzzy negation.It proves that the 0-level universal conjunction model T(x,y,h),the 0-level universal disjunction model S(x,y,h) and strong negation N(x)=1-x form a De Morgan triple.The 0-level universal conjunction model,the 0-level universal disjunction model S(x,y, h)=(min(x~m+y~m,1))~(1/m) and N(x)=(1-x~m)~(1/m) is a strong De Morgan triple for h∈(0,0.75).Moreover,it shows that the 1-level universal conjunction model T(x,y,h,k),the 1-level universal disjunction model S(x,y,h,k) and strong negation N(x)=(1-x~n)~(1/n) satisfy De Morgan triple.In particular,the 1-level universal conjunction model,the 1-level universal disjunction model S(x,y,h,k)=(min(x~(nm)+y~(nm),1))~(1/nm) and N(x)=(1-x~(nm))~(1/nm) is a strong De Morgan triple for h∈(0,0.75).