Relationship of Universal Operation Model in Universal Logic
泛逻辑泛运算模型之间的关系*

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x, y, h)与强非N(x)=1-x形成De Morgan三元组，当h∈(0, 0.75), 零级泛或运算S(x, y, h)=(min(xm+ym, 1))1/m, N(x)=(1-xm)1/m时, T, S, N形成一个强De Morgan三元组。进一步证明了一级泛与运算模型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)=(min(xnm+ynm, 1))1/nm, N(x)=(1-xnm)1/nm时, T, S, N形成一个强De Morgan三元组。