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