中文会议： 2009中国计算机大会论文集

会议日期： 2009-10-23

会议地点： 天津

主办单位： 中国计算机学会

作　　者： ; ; ; ; ;

机构地区： 中国科学院计算技术研究所智能信息处理重点实验室

出　　处： 《2009中国计算机大会》

摘　　要： 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.

领　　域： [自动化与计算机技术] [理学] [理学]