形式系统的语义完全性与语法完全性之间的一些关系

• 作者: 朱梧槚 洪龙 潘正华
• 来源期刊: 南京邮电学院学报
• 学科: 数学
• 关键词: 形式系统 强完全性 弱完全性 古典完全性 语义完全性 语法完全性
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 55-58
• 页数: 4页
• 分类号: O141
• 字数: 3496字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2005.01.011

摘要

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系.通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学信息科学与技术学院	40	363	8.0	18.0
2	潘正华	江南大学理学院	45	217	9.0	13.0
3	洪龙	南京邮电学院计算机科学与技术系	36	368	9.0	18.0