G(o)del n值命题逻辑中公式的α-随机真度理论

• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: n值命题逻辑 α-随机真度 α-D~n相似度 α-D~n伪距离
• 年，卷（期）: 2009,（31）
• 所属期刊栏目: 研究、探讨
• 页码范围: 40-42,45
• 页数: 4页
• 分类号: O159
• 字数: 4871字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.31.013

摘要

给出了G(o)del,n值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-D~n相似度,进而导出全体公式集上的一种伪距离.