计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (12): 42-45.DOI: 10.3778/j.issn.1002-8331.2010.12.011
n值GÖdel逻辑系统中的随机化研究
袁彦莉,张兴芳,李成允
YUAN Yan-li,ZHANG Xing-fang,LI Cheng-yun
摘要: 利用赋值集的随机化方法,在n值GÖdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.
中图分类号: