检索结果-内蒙古大学图书馆

在本文中,我们讨论了六个具有Barcan公式的正规量词模态系统K+BF,K4+BF,T（D）+BF,T+BF,S4+BF及B*的代数语义,并通过建立它们的Kripke语义与代数语义的单方面联系,从它们的Kripke语义完全性得出了它们的代数语义完全性.这种方法,至少对研究具有Barcan公式的正规量词模态系统的代数语义完全性而言,有相当的一般性.

关键词：模态逻辑哲理逻辑合式公式 Barcan 模态系统代数语义学

来源：评论

学校读者我要写书评

暂无评论

关于Lewis的模态系统S5的几个注记

引用

华中科技大学学报(自然科学版) 1979年第1期 13-17+7页

作者：高恒珊

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5（即S）和S5（即S）的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语... 详细信息

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5（即S）和S5（即S）的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语法证明要简捷一些;其二,考虑了由S5添加命题量词而得的系统S5的判定问题;Kaplan在文摘[6]中已证明S5（在[6]中记为S5Q）为可判定的.在本文中我们采用Rasiowa和Sikorski在[10]中对一大类带命题量词演算S引进的代数语义方法并具体用到Ackermann在[1]中给出的关于二阶一目谓词演算P判定问题的一些事实得到更多的结果;其三,我们再次应用S5的单纯完全性定理重新证明S5具有6个模态辞.此事系由***首先于1930年在文[3]中证明的,本文中的语义证明比Becker[3]中的语法证明似要精致一些.

关键词：等价式模态系统 S5 Lewis 定理模态振型

来源：评论

学校读者我要写书评

暂无评论

具有Barcan公式的若干正规量词模态系统的代数语义

引用

科学通报 1988年第10期33卷 727-729页

作者：吕健安高恒珊中国科学技术大学研究生院中国科学技术大学研究生院北京

对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献[1]那样,通过验证性质（E）去证明。但是,除极少数系统外,（E）的验证往往是十分困难的,从而对大多数量词模态系... 详细信息

对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献[1]那样,通过验证性质（E）去证明。但是,除极少数系统外,（E）的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献[2]与[3]中的工作和高恒珊在文献[4]

关键词：模态系统完全性所有一阶模态完备性代数模型代数语义合式公式 Barcan 非空集合

来源：评论

学校读者我要写书评

暂无评论

量词模态系统的代数语义与Kripke语义——关于S5*情形

引用

科学通报 1986年第12期31卷 884-885页

作者：高恒珊中国科技大学研究生院北京

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中... 详细信息

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5而言讨论了两种语义的相互可转化性。S5在作者文献[3]和文献[4]中用S

关键词：代数语义模态系统转化性代数模型 Kripke S5

来源：评论

学校读者我要写书评

暂无评论

中医经络是人体模态系统

中医经络是人体模态系统

引用

中国力学大会-2015

作者：陈宁台永鹏南京林业大学机电工程学院南京林业大学汽车与交通工程学院

提出经络是人体内具有模态特征系统这一新的假说。另外从发现方法上也比较了中医经络的发现与现代模态测试方法的类似性。新的经络假说可能给经络理论的科学化研究提供一种新的思路。

关键词：中医经络模态系统

来源：评论

学校读者我要写书评

暂无评论

关于模态命题系统P_5的协调性

引用

河南大学学报（自然科学版） 2003年第2期33卷 13-16页

作者：李娜河南大学政治系河南开封475001

证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.

关键词：布尔值布尔值模型模态系统自返性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：