论文研究ukasiewicz三值命题逻辑系统中公式的概率真度理论.pdf

利用势为3的非均匀概率空间的无穷乘积，在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念，证明了全体公式的概率真度值之集在[0，1]中没有孤立点；利用概率真度定义了概率相似度和伪距离，进而建立了概率逻辑度量空间，证明了该空间中没有孤立点，为三值命题的近似推理理论提供了一种可能的框架。