泛逻辑的一级泛运算模型的代数性质

论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了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)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。

泛逻辑的零级泛运算模型的代数性质

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