摘要： 本文讨论了泛与运算模型T(x，y．h)(h∈(o，0．75))的一些性质；证明了泛与运算模型T(x,y,h)(h∈(0，O.75))是一个幂零三角范数；而且泛与运算模型T(x，y．h)(h∈(0，0．75))与泛蕴涵运算模型，(x，y，h)(h∈(0，0.75))是一个伴随对；进一步证明了([0，1].∨，∧．*，→．0，1)作成一个MV-代数。给出了基于幂零泛与运算模型T(x，y,h)(h∈(0，0.75))的模糊命题演算系统PC(T),证明了此命题演算系统与Lukasiewicz逻辑命题演算系统是等价

关键词: 泛与运算模型 泛蕴涵运算模型 幂零三角范数 剩余 伴随对 数理逻辑