| 关于内射的格蕴涵代数 |
| |
| 引用本文： | 宋振明,郑逢斌.关于内射的格蕴涵代数[J].数学季刊,2000,15(1):65-70. |
| |
| 作者姓名： | 宋振明 郑逢斌 |
| |
| 作者单位： | [1]西南交通大学应用数学系 [2]河南大学计算机学院 |
| |
| 基金项目： | Supported by the National Science Foundation of China!( 69874033). |
| |
| 摘 要： | 多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑，特别是真值基于格上的多值逻辑，文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构，进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数，即内射的格蕴涵代数，深入探讨了这类代数和一些性质并给出了其特征结构的刻画。
|
| 关 键 词： | 格值逻辑系统 格蕴涵代数 内射 多值逻辑 |
On
Injective Lattice Implication Algebras |
| |
| SONG Zhen-ming, ZHENG Feng-bin.On
Injective Lattice Implication Algebras[J].Chinese Quarterly Journal of Mathematics,2000,15(1):65-70. |
| |
| Authors: | SONG Zhen-ming ZHENG Feng-bin |
| |
| Abstract: | Many-valued logic system always plays a crucial role in artificial intelligence. In order further to study many-valued logic system as well as logic with truth-values in a lattice, the con- cept of lattice implication algebra was proposed in reference 1] and the corresponding logic system was also investigated. In this paper, we focus on a kind of important lattice implication algebra, i. e., injective lattice implication algebra. Some properties are discussed and also the characteristic of its structure is given. |
| |
| Keywords: | lattice-valued logic system lattice implication algebras injective lattice implication alge- bras |
| 本文献已被 CNKI 维普 等数据库收录！ |
