泛逻辑泛运算模型之间的关系

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。