可交换弱R0代数.pdfVIP

第’$ 卷第% 期 云南师范大学学报 )E:, ’$ LE, % ! ! ’##$ 年% 月 IE3F7: EJ K37 LEFM7: NA89F@AO5 I7, ’##$ 可! 交! 换! 弱! # ! 代! 数! 吴苏朋，! 王国俊 （陕西师范大学数学与信息科学学院，陕西 西安$ %##’ ） 摘! 要：! 简化了弱# 代数及# 代数的定义。在弱# 代数的基础上，提出可交换弱# 代数，并讨论 了它的一些新的性质。探究了可交换弱# 代数与格蕴涵代数之间的关系，以及与() 代数之间的关 系。 关键词： ! 弱# 代数；# 代数；格蕴涵代数；() 代数 ! *%+ %, %! ! 文献标识码：! -! ! 文章编号：! %##$ . /$/0（’##$ ）#% . ###% . #+ 中图分类号： ! ! 为了将模糊推理纳入严格的逻辑框架之中， 0 ）对! ， ，# $ ，以下条件成立， （ 王国俊教授于文献［ （ % ］中建立一种模糊命题演算 A ） ! % ! ， $ $ 的形式演绎系统 1 和与之在语义上相匹配的 （AA ）% ! % ! ，! ! % %， ! $ $ 代数。此后，对 代数的研究，得到了许多十 （AAA ） # % （! ） （! # ）， $ $ $ $ # # 分有意义的结论，促进了非经典逻辑的发展，也丰 （ A8 ）! $ （ $ # ）% $ （! $ # ）， 富了代数学的内容。文献［ ’ ］详细研究了 代 （8 ）! # % （! ） （! # ）， # $ # $ # $ 数与吴望名的23445 蕴涵代数以及6789:;7 的剩 （8A ）! # % （! ） （! # ）。 $ ’ $ ’ $ 余格等代数之间的关系。徐扬教授于文献［+ ］中 这里， ! % ! # ，% 是$ 中的最大元，并且记# % $ 将格与蕴涵代数结合在一起建立了格蕴涵代数。 %。那么称$ 为弱# 代数。 () 代数是模型论专家, , =7? 为证明无限 ［%］ 定义’ ! 若$ 为弱# 代数，且满足（! $ ） 值13;7@A9BA