柔性逻辑零级运算模型的健全性

摘要：

当广义相关系数在0 ～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统；当广义相关系数在0.5 ～0.75时,构建了基于零级运算模型的健全逻辑系统PC (T)；当广义相关系数在0.75～1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统；当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).

关键词：健全逻辑系统、泛与运算模型、泛或运算模型、排中律

所属期刊栏目：34

分类号：O141.1(数理逻辑、数学基础)

资助基金：北京市高等学校人才强教计划资助项目PHR201008428

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：10-13