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

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 中国科学院计算技术研究所期刊论文 > 2009年中文

	不同逻辑间翻译的逻辑性质
	王驹; 申宇铭; 马越; 曹存根; 眭跃飞
刊名	计算机学报
	2009
期号	第10期页码:2091—2098
关键词	翻译语义忠实翻译语义满翻译二阶逻辑一阶逻辑
英文摘要	如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类，那么可靠的（ｔｈｅｓｏｕｎｄｎｅｓｓ）和完备的（ｔｈｅｃｏｍｐｌｅｔｅｎｅｓｓ）翻译可以将不可满足的公式翻译为可满足的公式．针对上述问题，该文提出了语义忠实（ｔｈｅｆａｉｔｈｆｕｌｎｅｓｓ）和语义满（ｔｈｅｆｕｌｌｎｅｓｓ）两条逻辑性质来确保可满足的公式翻译为可满足的公式，不可满足公式翻译为不可满足公式．该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的，在Ｈｅｎｋｉｎ语义下是语义忠实的和语义满的．
语种	中文
公开日期	2010-10-18
内容类型	期刊论文
源URL	[http://ictir.ict.ac.cn/handle/311040/705]
专题	中国科学院计算技术研究所期刊论文_2009年中文
推荐引用方式 GB/T 7714	王驹,申宇铭,马越,等. 不同逻辑间翻译的逻辑性质[J]. 计算机学报,2009(第10期):2091—2098.
APA	王驹,申宇铭,马越,曹存根,&眭跃飞.(2009).不同逻辑间翻译的逻辑性质.计算机学报(第10期),2091—2098.
MLA	王驹,et al."不同逻辑间翻译的逻辑性质".计算机学报 .第10期(2009):2091—2098.