n值R_0~-命题逻辑系统L_n~*中公式的矛盾度理论

作者：张红杰; 吴洪博

来源：云南师范大学学报(自然科学版), 2007, (04): 1-7.

• 矛盾度
• 差异度
• 伪度量
• 逻辑度量空间

将n值R0-命题逻辑系统Ln*中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ’,证明了ρ’是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ’)。

• 出版日期2007-7-15
• 单位陕西师范大学