|
|||||
|
|
| 不同逻辑间翻译的逻辑性质 | |
| 引用本文： | 申宇铭,马越,曹存根,眭跃飞,王驹.不同逻辑间翻译的逻辑性质[J].计算机学报,2009,32(10). |
| 作者姓名： | 申宇铭 马越 曹存根 眭跃飞 王驹 |
| 作者单位： | 1. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190;中国科学院研究生院,北京,100039 2. 中国科学院计算技术研究所智能信息处理重点实验室,北京,100190 3. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004 |
| 基金项目： | 国家自然科学基金，国家"八六三"高技术研究发展计划项目基金 |
| 摘 要： | 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的. |
| 关 键 词： | 翻译 语义忠实翻译 语义满翻译 二阶逻辑 一阶逻辑 |
Logical Properties on Translations between Logics |
|
| SHEN Yu-Ming,MA Yue,CAO Cun-Gen,SUI Yue-Fei,WANG Ju.Logical Properties on Translations between Logics[J].Chinese Journal of Computers,2009,32(10). | |
| Authors: | SHEN Yu-Ming MA Yue CAO Cun-Gen SUI Yue-Fei WANG Ju |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |