|
|||||
|
|
| 关于形式系统L*及R0-代数的若干结果 | |
| 引用本文： | 王保社,张小红.关于形式系统L*及R0-代数的若干结果[J].陕西师范大学学报,2003,31(3):28-31. |
| 作者姓名： | 王保社 张小红 |
| 作者单位： | 咸阳师范学院数学系 陕西咸阳712000 (王保社)，宁波大学理学院 浙江宁波315211(张小红) |
| 摘 要： | 研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的. |
| 关 键 词： | 模糊逻辑 形式演绎系统 R0代数 BCK代数 |
| 文章编号： | 1001-3857(2003)03-0028-05 |
| 修稿时间： | 2002年12月10 |
Some results on formal systemL*and R0-algebra |
|
| Abstract: | |
| Keywords: | fuzzy logic formal deductive system R_0-algebra BCK-algebra |
| 本文献已被 CNKI 等数据库收录！ | |