-
题名关于格蕴涵代数的几点注记
被引量：3
- 1
-
-
作者
秦克云
陈志国
-
机构
西南交通大学应用数学系
河南大学计算机与信息工程学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2003年第1期1-3,共3页
-
基金
国家自然科学基金(60074041
69874033)
-
文摘
给出了一般(2,1,0,0)型代数(L,→, ,0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供了条件.
-
关键词
格蕴涵代数
有限链
T型代数
非全序四元格
格值逻辑系统
真值
-
Keywords
lattices
algebra
implication
finite chain
T-type algebra
-
分类号
O153
[理学—基础数学]
-
