关于BR0-代数弱完备性的证明

• 作者: 吴洪博 邵晓丽
• 来源期刊: 西北大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 BR0-代数 全序BR0-代数 BR0-等式
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 数理科学与信息科学
• 页码范围: 348-352
• 页数: 5页
• 分类号: O141.1
• 字数: 5601字
• 语种: 中文

摘要

目的 对BR0-代数自身的完备性问题进行研究.方法 研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入.结果 在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性.结论 得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
5	邵晓丽	陕西师范大学数学与信息科学学院	6	12	2.0	3.0