| 关于BR0-代数弱完备性的证明 |
| |
| 引用本文： | 邵晓丽,吴洪博.关于BR0-代数弱完备性的证明[J].西北大学学报,2007,37(3):348-352. |
| |
| 作者姓名： | 邵晓丽 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院 陕西师范大学数学研究所(邵晓丽)，陕西师范大学数学与信息科学学院 陕西西安710062(吴洪博) |
| |
| 基金项目： | 国家自然科学基金;陕西省自然科学基金 |
| |
| 摘 要： | 目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。
|
| 关 键 词： | 模糊逻辑 BR0-代数 全序BR0-代数 BR0-等式 |
| 文章编号： | 1000-274X（2007）03-0348-05 |
| 修稿时间： | 2006-05-31 |
On the weak completeness of BR0 -algebra |
| |
| SHAO Xiao-li,WU Hong-bo.On the weak completeness of BR0 -algebra[J].Journal of Northwest University(Natural Science Edition),2007,37(3):348-352. |
| |
| Authors: | SHAO Xiao-li WU Hong-bo |
| |
| Abstract: | Aim To research the completeness of BR0-algebra.Methods The formal deductive system L* for fuzzy propositional calculus and R0-algebra relevant to the former in semantics have been studied,and some nice properties in BR0-algebra proposed by Wu are used in the study.Results BR0-equality and BR0-equation are defined.Moreover,the completeness of BR0-algebra is proved by discussing the linear ordered BR0-algebra.Conclusion The complete theory of BR0-algebra was obtained,providing the theory framework for further studying the corresponding formal deductive systems and fuzzy reasoning. |
| |
| Keywords: | fuzzy logic BR0-algebra linear ordered BR0-algebra BR0-equality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
