n值R0-命题逻辑系统L*n中公式的矛盾度理论

摘要：

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

关键词：矛盾度、差异度、伪度量、逻辑度量空间

所属期刊栏目：27

分类号：O153(代数、数论、组合理论)

资助基金：国家自然科学基金10471083;陕西师范大学校科研和教改项目995130

在线出版日期：2007-08-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-7