计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2009年
10期
2091-2098
,共8页
申宇铭%马越%曹存根%眭跃飞%王驹
申宇銘%馬越%曹存根%眭躍飛%王駒
신우명%마월%조존근%휴약비%왕구
翻译%语义忠实翻译%语义满翻译%二阶逻辑%一阶逻辑
翻譯%語義忠實翻譯%語義滿翻譯%二階邏輯%一階邏輯
번역%어의충실번역%어의만번역%이계라집%일계라집
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.
如果攷慮邏輯間模型的翻譯併且一箇邏輯的模型類被翻譯為另一箇邏輯的模型類的真子類,那麽可靠的(the soundness)和完備的(the completeness)翻譯可以將不可滿足的公式翻譯為可滿足的公式.針對上述問題,該文提齣瞭語義忠實(the faithfulness)和語義滿(the fullness)兩條邏輯性質來確保可滿足的公式翻譯為可滿足的公式,不可滿足公式翻譯為不可滿足公式.該文例證瞭二階邏輯在標準語義下到一階邏輯的翻譯是語義忠實的但不是語義滿的,在Henkin語義下是語義忠實的和語義滿的.
여과고필라집간모형적번역병차일개라집적모형류피번역위령일개라집적모형류적진자류,나요가고적(the soundness)화완비적(the completeness)번역가이장불가만족적공식번역위가만족적공식.침대상술문제,해문제출료어의충실(the faithfulness)화어의만(the fullness)량조라집성질래학보가만족적공식번역위가만족적공식,불가만족공식번역위불가만족공식.해문예증료이계라집재표준어의하도일계라집적번역시어의충실적단불시어의만적,재Henkin어의하시어의충실적화어의만적.
