不同逻辑间翻译的逻辑性质 logical properties on translations between logics.pdfVIP

第32卷第10期 计 算 机 学 报 v01．32No．10 2009年lo月 CHINESE 0F Oct．2009 JOURNALCOMPUTERS 不同逻辑间翻译的逻辑性质 申宇铭”’2’ 马 越”’2’ 曹存根” 眭跃飞” 王 驹∞ ”(中国科学院计算技术研究所智能信息处理重点实验室 北京 100190) 2’(中国科学院研究生院北京100039) ”(广西师范大学计算机科学与信息工程学院广西桂林541004) 摘 要 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类，那么可靠的 (the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式．针对上述问题，