论文部分内容阅读
泛逻辑的零级泛与运算模型是一个三角范数谱系,本文讨论泛逻辑的零级泛与运算模型的单调性,证明了T（x,y,h）（h∈[0,1]）关于h单调递增。进一步讨论Hamacher三角范数谱系的单调性,证明了Hamacher三角范数谱系THamacher（λ）（x,y）关于λ单调递减,且TL（x,y）≤TEinstein（x,y）≤THamacher（λ）（x,y）≤TP（x,y）。