方略学科导航

搜索结果: 1-1 共查到“马克思主义态”相关记录1条 . 查询时间(0.463 秒)

论模态逻辑中的嵌入问题模态逻辑能行的翻译函数坍塌嵌入翻译嵌入翻译嵌入映射 2013/3/14

目前在模态逻辑中,主要存在两种嵌入方法:一种是“坍塌嵌入”,一种是“翻译嵌入”;用周北海和 A.Chagrov和 M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是“S5可以翻译嵌入P中”,因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理:“翻译嵌入映射Tr4 可以使得S5...