不同逻辑间翻译的逻辑性质

摘要：

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

关键词： 语义翻译 逻辑性质 公式翻译

作者: 申宇铭 马越 曹存根 眭跃飞 王驹

作者单位: 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190;中国科学院研究生院,北京,100039 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190 广西师范大学计算机科学与信息工程学院,广西,桂林,541004

会议类型: 国内会议

会议名称: 2009中国计算机大会

会议地点: 天津

会议语种:中文

页码: 2091-2098

在线出版日期: 2009-10-23（万方平台首次上网日期，不代表论文的发表时间）