摘要
当广义相关系数在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.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2011年第4期10-13,共4页
Journal of Beijing University of Posts and Telecommunications
基金
北京市高等学校人才强教计划资助项目(PHR201008428)
关键词
健全逻辑系统
泛与运算模型
泛或运算模型
排中律
integrity logic
universal conjunctive operational model
universal disjunctive operational model
law of excluded middle
