期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
关于BR_0-代数弱完备性的证明 被引量:5
1
作者 邵晓丽 吴洪博 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第3期348-352,共5页
目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,... 目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。 展开更多
关键词 模糊逻辑 br0-代数 全序br0-代数 br0-等式
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部