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

• 作者: 曹存根 王驹 申宇铭 眭跃飞 马越
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 翻译 语义忠实翻译 语义满翻译 二阶逻辑 一阶逻辑
• 年，卷（期）: 2009,（10）
• 页码范围: 2091-2098
• 页数: 8页
• 分类号: TP18
• 字数: 8376字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.02091

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所智能信息处理重点实验室	91	991	17.0	27.0
2	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
3	眭跃飞	中国科学院计算技术研究所智能信息处理重点实验室	35	313	9.0	17.0
4	马越	中国科学院计算技术研究所智能信息处理重点实验室	8	28	4.0	5.0
8	申宇铭	中国科学院计算技术研究所智能信息处理重点实验室	2	15	2.0	2.0