發(fā)布時間：2017-12-29 14:30

  本文關鍵詞：論模態(tài)邏輯中的嵌入問題　出處：《西南大學學報(社會科學版)》2011年01期 　論文類型：期刊論文

  更多相關文章： 模態(tài)邏輯 能行的翻譯函數(shù) 坍塌嵌入 翻譯嵌入 翻譯嵌入映射

【摘要】：目前在模態(tài)邏輯中,主要存在兩種嵌入方法:一種是"坍塌嵌入",一種是"翻譯嵌入";用周北海和A.Chagrov和M.Zakharyaschev對這兩種嵌入方法進行有針對性的論述,可以發(fā)現(xiàn):雖然正規(guī)模態(tài)邏輯系統(tǒng)S5不可坍塌嵌入經(jīng)典命題邏輯P,但是"S5可以翻譯嵌入P中",因此,通過定義翻譯嵌入映射Tr4,從而證明了S5可翻譯嵌入P;最終我們提出并證明了這樣的定理:"翻譯嵌入映射Tr4可以使得S5的所有子系統(tǒng)K、D、T、S4和B,以及系統(tǒng)KDc與KTc都能夠翻譯嵌入系統(tǒng)P中"。
[Abstract]:......
【作者單位】： 中國社會科學院哲學研究所;
【分類號】：B815.1
【正文快照】： 在邏輯中,我們經(jīng)常通過對一個系統(tǒng)添加特征公理來得到其擴張系統(tǒng),那么,我們能否用一個系統(tǒng)所對應的邏輯語言中的聯(lián)結詞,來解釋其擴張系統(tǒng)所對應的邏輯語言中的聯(lián)結詞呢?在一個系統(tǒng)的擴張的過程中,是否存在真擴張系統(tǒng)保持原被擴張系統(tǒng)的各種邏輯性質的方法呢?為此,在邏輯中引

【相似文獻】

相關碩士學位論文 前1條

1 王曉;科恩的歸納支持研究[D];西南大學;2011年

，

本文編號：1350619