关于格蕴涵代数的几点注记
Some Remarks on Lattice Implication Algebra
-
摘要:给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四 元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的 结构提供了条件.Abstract:A sufficient and necessary consition for a general (2,1,0,0) type algebra (L,→,*,0,1) to be a lattice implication algebra is presented. It is proved that in a finite chain and in a non-linear four-element lattice there exists only one lattice implication algebra, but no implication algebra in a non-linear five-element lattice. This provides the foundation for further study of the structure of lattice implication algebra that is composed of linguistic true values.
-
Key words:
- lattices/
- algebra/
- implication/
- finite chain/
- T-type algebra
-
点击查看大图
计量
- 文章访问数:1528
- HTML全文浏览量:111
- PDF下载量:149
- 被引次数:0
下载: