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

• 全文链接
• 请求原文

作   者：

申宇铭;  马越;  曹存根;  眭跃飞;  王驹; 

作者机构：

广西师范大学计算机科学与信息工程学院;  中国科学院计算技术研究所智能信息处理重点实验室; 

关键词：

语义忠实翻译;  翻译;  一阶逻辑;  二阶逻辑;  语义满翻译; 

期刊名称：

计算机学报

基金项目：

i s s n：

0254-4164

年卷期：

2009 年 32 卷 10 期

页   码：

2091-2098

摘   要：

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