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

• 作者: 吴洪博 张红杰
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 矛盾度 差异度 伪度量 逻辑度量空间
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 数学
• 页码范围: 1-7
• 页数: 7页
• 分类号: O153
• 字数: 5733字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2007.04.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	张红杰	陕西师范大学数学与信息科学学院	4	8	2.0	2.0