论文研究三值乘积逻辑系统.pdf
利用赋值集的随机化方法，在三值乘积逻辑∏3提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的D∏3-相似度与伪距离的概念，并建立了D∏3-逻辑度量空间，证明了此空间没有孤立点。
下载地址
用户评论
