摘要:
论文讨论泛逻辑的一级泛运算模型的基本代数性质.证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对.当h∈(0,0.75),k∈(0,1)时,有界格([0,1],∨,∧,*,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格([0,1],∨,∧,*,→,0,1)做成一个乘积代数.进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元.