量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

发布时间：2018-06-28 17:43

  本文选题：代数语义 + Barcan－公式　； 参考：《数学学报》1995年04期

【摘要】：本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
[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.
【作者单位】： 中国科技大学研究生院
【基金】：中国科学院院内基金
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 吕健安,高恒珊;量词模态逻辑的代数语义学(Ⅱ)——关于含Barcan公式的正规模态系统的情形[J];数学学报;1988年05期

【相似文献】

相关期刊论文 前10条

1 陆汝钤;具有动态结构的程序的代数语义[J];中国科学A辑;1986年04期

2 高恒珊;量词模态系统的代数语义与Kripke语义——关于S5~*情形[J];科学通报;1986年12期

3 林惠民;相对完备性与抽象数据类型的描述[J];中国科学A辑;1988年06期

4 吕健安,高恒珊;量词模态逻辑的代数语义学(Ⅱ)——关于含Barcan公式的正规模态系统的情形[J];数学学报;1988年05期

5 吕健安,高恒珊;具有Barcan公式的若干正规量词模态系统的代数语义[J];科学通报;1988年10期

6 林惠民;“不用归纳的归纳证明”与相对完备性[J];科学通报;1989年13期

7 吕文进;;抽象数据类型的极大代数语义[J];贵州大学学报(自然科学版);1992年01期

8 黄且圆,王驹;unless和ensure的代数性质——Ⅱ.unity的代数语义研究[J];中国科学A辑;1994年11期

9 高恒珊;量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形[J];数学学报;1995年04期

10 戴桂兰,徐宝文;面向对象建模语言AML的代数语义[J];武汉大学学报(自然科学版);1999年05期

，

本文编号：2078822