n值标准逻辑系统中的随机化研究

摘要：

利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点.

关键词：DGRn-随机真度、DGRn-相似度、DGRn-逻辑度量空间

所属期刊栏目：46

分类号：O14.1(数理逻辑、数学基础)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Crant 10771129

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

页数：共5页

页码：16-19,60