标准序列逻辑系统S_3中公式的概率真度理论
利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.
概率测度、概率真度、相似度、伪距离、孤立点
23
O141(数理逻辑、数学基础)
国家自然科学基金资助项目10771129;河南省教育厅自然科学研究计划项目2007110016
2010-03-22(万方平台首次上网日期,不代表论文的发表时间)
共7页
53-59