摘要
本文讨论一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))[h∈(0.75,1),k∈(0,1)]的一些性质;证明一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))[h∈(0.75,1),k∈(0,1)]是一个幂零三角范数[严格三角范数].进一步证明([0,1],∨,∧,*,→,0,1)作成一个MV-代数[乘积代数];证明基于一级泛与运算模型T(x,y,h,k)(h∈(0,0.75),k∈(0,1))[h∈(0.75,1),k∈(0,1)]的命题演算系统PC(T)是Lukasiewicz逻辑命题演算系统[乘积逻辑命题演算系统].
NETL