文献类型：期刊文章

作　　者：王国俊[1] 宋建社[2]

机构地区：[1]陕西师范大学数学研究所 [2]西安高技术研究所,陕西西安710025

出　　处：《电子学报》

基　　金：国家自然科学基金(No.1033101060272022)

年　　份：2006

卷　　号：34

期　　号：2

起止页码：252-257

语　　种：中文

收录情况：BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2006199868450)、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.

关 键 词：命题逻辑 诱导函数  真度 近似推理  相容度

分 类 号：O142[数学类]