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

• 作者: 何华灿 刘城霞 罗敏霞 陈佳林
• 来源期刊: 北京邮电大学学报
• 学科: 数学
• 关键词: 健全逻辑系统 泛与运算模型 泛或运算模型 排中律
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 论文
• 页码范围: 10-13
• 分类号: O141.1
• 字数: 3513字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2011.04.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	北京邮电大学计算机学院	10	97	5.0	9.0
2	罗敏霞	中国计量学院数学系	15	29	4.0	5.0
3	刘城霞	北京邮电大学计算机学院	7	13	2.0	3.0
4	陈佳林	北京邮电大学计算机学院	1	1	1.0	1.0