1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 中介谓词逻辑一种改进的语义解释及λ 归结.pdf

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

上传者: 2020-07-16 17:54:02上传 PDF文件 480.24KB 热度 18次
利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。
用户评论