本文選題：代數(shù)語義 + Barcan－公式�。� 參考：《數(shù)學(xué)學(xué)報(bào)》1995年04期

【摘要】：本文首先討論嵌套論域語義的相應(yīng)代數(shù)語義并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的關(guān)于具有嵌套論域的正規(guī)量詞模態(tài)系統(tǒng)的關(guān)系語義完全性定理推出其相應(yīng)的代數(shù)語義完全性定理：然后對(duì)于具有任意可變論域語義的正規(guī)系統(tǒng)，我們用Ｈｅｎｋｉｎ方法給出其關(guān)于狹義Ｋｒｉｐｋｅ語義的關(guān)系語義完全性定理，由此通過將關(guān)系語義轉(zhuǎn)化為代數(shù)語義從而亦推得其代數(shù)語義完全性定理。
[Abstract]:In this paper, we first discuss the corresponding algebraic semantics of nested domain semantics and the relational semantic completeness of normal quantifier modal systems with nested domains established by Hughes and Cresswell in [5]. The theorem deduces its corresponding algebraic semantics completeness theorem: then for a normal system with arbitrary variable domain semantics, We use Henkin's method to give its relational semantics completeness theorem about narrow Kripke semantics. By transforming relational semantics into algebraic semantics, we also obtain its algebraic semantics completeness theorem.
【作者單位】： 中國(guó)科技大學(xué)研究生院
【基金】：中國(guó)科學(xué)院院內(nèi)基金
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 呂健安,高恒珊;量詞模態(tài)邏輯的代數(shù)語義學(xué)(Ⅱ)——關(guān)于含Barcan公式的正規(guī)模態(tài)系統(tǒng)的情形[J];數(shù)學(xué)學(xué)報(bào);1988年05期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 陸汝鈐;具有動(dòng)態(tài)結(jié)構(gòu)的程序的代數(shù)語義[J];中國(guó)科學(xué)A輯;1986年04期

2 高恒珊;量詞模態(tài)系統(tǒng)的代數(shù)語義與Kripke語義——關(guān)于S5~*情形[J];科學(xué)通報(bào);1986年12期

3 林惠民;相對(duì)完備性與抽象數(shù)據(jù)類型的描述[J];中國(guó)科學(xué)A輯;1988年06期

4 呂健安,高恒珊;量詞模態(tài)邏輯的代數(shù)語義學(xué)(Ⅱ)——關(guān)于含Barcan公式的正規(guī)模態(tài)系統(tǒng)的情形[J];數(shù)學(xué)學(xué)報(bào);1988年05期

5 呂健安,高恒珊;具有Barcan公式的若干正規(guī)量詞模態(tài)系統(tǒng)的代數(shù)語義[J];科學(xué)通報(bào);1988年10期

6 林惠民;“不用歸納的歸納證明”與相對(duì)完備性[J];科學(xué)通報(bào);1989年13期

7 呂文進(jìn);;抽象數(shù)據(jù)類型的極大代數(shù)語義[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);1992年01期

8 黃且圓,王駒;unless和ensure的代數(shù)性質(zhì)——Ⅱ.unity的代數(shù)語義研究[J];中國(guó)科學(xué)A輯;1994年11期

9 高恒珊;量詞模態(tài)邏輯的代數(shù)語義學(xué)（Ⅲ）──關(guān)于不含Barcan公式的正規(guī)模態(tài)系統(tǒng)的情形[J];數(shù)學(xué)學(xué)報(bào);1995年04期

10 戴桂蘭,徐寶文;面向?qū)ο蠼ＵZ言AML的代數(shù)語義[J];武漢大學(xué)學(xué)報(bào)(自然科學(xué)版);1999年05期

，

本文編號(hào)：2078822