格值命题逻辑系统中广义文字的正规性

• 作者: 何星星 张家锋 徐扬 李莹芳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 格值命题逻辑 α-归结原理 广义文字 正规性 语义性质
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 研究探讨
• 页码范围: 43-46,127
• 分类号: TP181
• 字数: 4534字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.10.011

摘要

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性.广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元.公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映.从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)’的真值情况.为讨论广义文字的形式及其α-可归结性提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	张家锋	西南交通大学智能控制开发中心	7	7	1.0	2.0
3	李莹芳	西南交通大学智能控制开发中心	2	10	1.0	2.0
4	何星星	西南交通大学智能控制开发中心	12	35	3.0	5.0