论文部分内容阅读
论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了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)做成一个乘积代数。进一步，给出了一级泛与运算模