论模态逻辑中的嵌入问题

发布时间：2017-12-29 14:30

  本文关键词：论模态逻辑中的嵌入问题　出处：《西南大学学报(社会科学版)》2011年01期 　论文类型：期刊论文

  更多相关文章： 模态逻辑 能行的翻译函数 坍塌嵌入 翻译嵌入 翻译嵌入映射

【摘要】：目前在模态逻辑中,主要存在两种嵌入方法:一种是"坍塌嵌入",一种是"翻译嵌入";用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是"S5可以翻译嵌入P中",因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理:"翻译嵌入映射Tr4可以使得S5的所有子系统K、D、T、S4和B,以及系统KDc与KTc都能够翻译嵌入系统P中"。
[Abstract]:......
【作者单位】： 中国社会科学院哲学研究所;
【分类号】：B815.1
【正文快照】： 在逻辑中,我们经常通过对一个系统添加特征公理来得到其扩张系统,那么,我们能否用一个系统所对应的逻辑语言中的联结词,来解释其扩张系统所对应的逻辑语言中的联结词呢?在一个系统的扩张的过程中,是否存在真扩张系统保持原被扩张系统的各种逻辑性质的方法呢?为此,在逻辑中引

【相似文献】

相关硕士学位论文 前1条

1 王晓;科恩的归纳支持研究[D];西南大学;2011年

，

本文编号：1350619