10.3778/j.issn.1002-8331.2010.14.010
三值乘积逻辑系统π3中的随机化研究
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式问的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点.
Dπ3-随机真度、Dπ3-相似度、Dπ3-逻辑度量空间
46
O141.1(数理逻辑、数学基础)
国家自然科学基金the National Natural Science Foundation of China under Grant 60875034
2010-06-30(万方平台首次上网日期,不代表论文的发表时间)
共6页
34-38,52