逻辑系统L*中公式的Γ-演绎真度理论

• 作者: 关晓红 张海霞
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 真度 广义演绎推理 推理规则
• 年，卷（期）: 2011,（18）
• 所属期刊栏目: 研究、探讨
• 页码范围: 62-63,72
• 分类号: O141.1
• 字数: 2816字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.18.019

摘要

在命题逻辑系统中L*引入了公式的Γ-演绎真度概念,研究了Γ-演绎真度的若干特征性质,并给出了真度推理规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张海霞	河南师范大学数学与信息科学学院	13	7	1.0	1.0
2	关晓红	河南师范大学数学与信息科学学院	14	16	2.0	3.0