《计算机学报》文章摘要   全文下载
文章题目	不同逻辑间翻译的逻辑性质
作者	申宇铭1),2) 马越1),2) 曹存根1) 眭跃飞1) 王驹3)
作者单位	1)(中国科学院计算技术研究所智能信息处理重点实验室 北京 100190) 2)(中国科学院研究生院 北京 100039) 3)(广西师范大学 计算机科学与信息工程学院 广西 桂林 541004)
发表年份	2009
发表月份	10期(2091—2098)
文章摘要	摘要 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题，该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式，不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的，在Henkin语义下是语义忠实的和语义满的. 关键词 翻译；语义忠实翻译；语义满翻译；二阶逻辑；一阶逻辑 中图法分类号：TP18 DOI号: 10.3724/SP.J.1016.2009.02091