格蕴涵代数定义的简化

摘要：

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义.

关键词：(2,0)代数、格蕴涵代数、格蕴涵代数的公理系统

所属期刊栏目：22

分类号：O153(代数、数论、组合理论)

资助基金：国家自然科学基金资助项目19801016,10261003;中国博士后基金;湛江师范学院资助项目Z0217

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

页数：共6页

页码：15-20