【摘要】：討論泛邏輯的零級泛運算模型的基本代數(shù)性質(zhì)。證明T(x,y,h)是阿基米德型三角范數(shù);泛與運算模型與泛蘊涵運算模型形成一個伴隨對;當h∈(0,0.75)時,有界格([0,1],∨,∧,*,→,0,1)做成一個M V-代數(shù);當h∈(0.75,1)時,有界格([0,1],∨,∧,*,→,0,1)做成一個乘積代數(shù)。進一步,給出了零級泛與運算模型與泛或運算模型的加性生成元與乘性生成元。
[Abstract]:The basic algebraic properties of the zero order universal operation model of universal logic are discussed. It is proved that T (XY) is an Archimedean triangular norm, that the universal sum operation model and the universal implication operation model form an adjoint pair; that when h 鈭，

本文編號：2141916