文件名称:论文研究-值标准逻辑系统中的随机化研究.pdf
文件大小:537KB
文件格式:PDF
更新时间:2022-09-30 16:50:43
论文研究
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。
文件名称:论文研究-值标准逻辑系统中的随机化研究.pdf
文件大小:537KB
文件格式:PDF
更新时间:2022-09-30 16:50:43
论文研究
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。