格值命题逻辑系统LP(X)中广义文字的α-归结域

• 作者: 姜保庆 徐扬 王伟
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 常量 命题变元 广义文字 α-归结域
• 年，卷（期）: 2005,（4）
• 页码范围: 544-547
• 页数: 4页
• 分类号: O153.1
• 字数: 3679字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2005.04.024

摘要

格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性质,并得到了它们的α-归结域.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学电气工程学院	186	1462	15.0	32.0
2	王伟	西南交通大学电气工程学院	65	405	11.0	17.0
4	姜保庆	河南大学计算机与信息工程学院	22	157	6.0	12.0