命题逻辑中的程度化方法
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.
命题逻辑 诱导函数 真度 近似推理 相容度
王国俊
陕西师范大学数学研究所,西安,710062;西安交通大学基础科学研究中心,西安,710049
国内会议
深圳
中文
55-63
2005-04-16（万方平台首次上网日期，不代表论文的发表时间）