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

Integrity Studies on 0-Level Universal Operation Models of Flexible Logic

作　　者：陈佳林[1] 何华灿[1] 刘城霞[1] 罗敏霞[2] 

机构地区：[1]北京邮电大学计算机学院,北京100876 [2]中国计量学院数学系,杭州310018

出　　处：《北京邮电大学学报》2011年第4期10-13,共4页Journal of Beijing University of Posts and Telecommunications

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

摘　　要：当广义相关系数在0～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统;当广义相关系数在0.5～0.75时,构建了基于零级运算模型的健全逻辑系统PC(T);当广义相关系数在0.75～1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统;当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).Logical system PC （T） based on 0-level universal operation models is proved an integrity logical system when generalized correlative coefficient is from 0 to 0.5. An integrity propositional logic PC （T） based on 0-level universal operation models is built. When generalized correlative coefficient is from 0.5 to 0.75 moreover, propositional logic system PC（T） based on 0-level universal operation models is proved an integrity logical system if P is equal to 0 or 1 and an integrity propositional logic PC （T） based on 0-level universal operation models is given if P is not equal to 0 or 1 when generalized correlative coefficient is from 0.75 to 1.

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

分 类 号：O141.1[理学—数学]