量化带标公式的消解

• 作者: 赵希顺 金继伟
• 来源期刊: 暨南大学学报（自然科学与医学版）
• 学科: 数学
• 关键词: 消解 量化带标公式 正规 易解
• 年，卷（期）: 2009,（5）
• 页码范围: 487-493
• 页数: 7页
• 分类号: O142
• 字数: 1956字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-9965.2009.05.007

摘要

首先引入量化带标公式,然后研究了量化带标公式的消解并且证明其健全性和拒绝完备性.另外,还引入了二元消解并证明其针对正规量化带标公式(一个量化带标公式的子集)是健全的和拒绝完备的.最后证明如果正规量化带标公式的每一个子句如果最多包含两个文字,则该公式的可满足性问题是易解的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金继伟	中山大学逻辑与认知研究所	2	0	0.0	0.0
2	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0