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

扫码查看

原文链接

NETL
NSTL
万方数据

中文摘要：一般来说，完备的翻译以及可靠的翻译能够将不可满足的公式翻译成为可满足的公式，其主要的基础条件是考虑逻辑间模型的翻译同时一个逻辑的模型类被翻译成为另外一个逻辑的模型类，其中存在的真子类。在上述论证的基础上，本次研究针对实际情况，总结本人的经验，对以下两条逻辑性质进行分析，首先语义忠实逻辑性质，其次是语意义满逻辑性质。在此基础上，未可满足的公式翻译成可满足公式提供相应的保障，其中不可满足公式翻译为不可满足公式。

作者：

刘丽萍

展开 >

作者单位：

辽宁省鞍山市信息工程学校辽宁鞍山 114000

关键词：

不同逻辑翻译逻辑性质

出版年：

2015

读写算(教育教学研究)

荆门市教科所

读写算(教育教学研究)

ISSN：1002-7661

年,卷(期)：2015.(19)

参考文献量1