R0-命题逻辑系统相关论文
在n值R0-命题逻辑系统L?n中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝......
给出了n值Ro-命题逻辑系统Ln^*中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,......