摘要:
当广义相关系数在0~05时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统;当广义相关系数在05~075时,构建了基于零级运算模型的健全逻辑系统PC(T);当广义相关系数在075~1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统;当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).
中图分类号:
陈佳林,何华灿,刘城霞,罗敏霞. 柔性逻辑零级运算模型的健全性[J]. 北京邮电大学学报, 2011, 34(4): 10-13.