论文研究-中介谓词逻辑一种改进的语义解释及λ-归结.pdf

【文件属性】：

文件名称：论文研究-中介谓词逻辑一种改进的语义解释及λ-归结.pdf

文件大小：480KB

文件格式：PDF

更新时间：2022-10-01 14:06:08

论文研究

利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念，给出了真度的一些推理规则，证明了全体公式的真度值之集在[0，1]上是稠密的，给出了全体公式真度的表达通式，为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。