10.3969/j.issn.1673-5439.2005.01.011
形式系统的语义完全性与语法完全性之间的一些关系
形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系.通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全.
形式系统、强完全性、弱完全性、古典完全性、语义完全性、语法完全性
25
O141(数理逻辑、数学基础)
2005-03-17(万方平台首次上网日期,不代表论文的发表时间)
共4页
55-58