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

被引：4

作者：

申宇铭 ^{[1
,2
]}

马越 ^{[1
,2
]}

曹存根 ^{[1
]}

眭跃飞 ^{[1
]}

王驹 ^{[3
]}

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室

[2] 中国科学院研究生院

[3] 广西师范大学计算机科学与信息工程学院

来源：

计算机学报 | 2009年 / 32卷 / 10期

关键词：

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

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：2091 / 2098

页数：8

共 4 条

[1] The axiomatic translation principle for modal logic [J].