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

摘要：

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

关键词：泛与运算模型、泛或运算模型、伴随对、加性生成元、乘性生成元

所属期刊栏目：19

分类号：O141.1(数理逻辑、数学基础)

资助基金：中国科学院资助项目60273087;北京市自然科学基金4032009

在线出版日期：2006-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：96-102