|
|||||
|
|
| 关于形式系统Y^＊及R0-代数的若干结果 | |
| 作者姓名： | 王保社 张小红 |
| 作者单位： | [1]成阳师范学院数学系，陕西成阳712000 [2]宁波大学理学院，浙江宁波315211 |
| 摘 要： | 研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的． |
| 关 键 词： | 数理逻辑 模糊逻辑 形式演绎系统 R0-代数 BCK-代数 对偶代数 |
| 本文献已被 维普 等数据库收录！ | |