期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
直觉主义量词模态逻辑的一个强完全性定理
被引量：
1
1
作者
高恒珊
《中国科学（E辑）》
CSCD
1999年第5期464-473,共10页
在Thomason讨论到的直觉主义一阶谓词演算的基础上引进Prior工作中揭示的模态直觉主义系统MIPC的模态机制 ,从而得到一个直觉主义量词模态逻辑系统MIPC ,并给予它一个语义解释 ,证明其关于该语义的强 (因而弱 )完全性定理 .多次实质性...
在Thomason讨论到的直觉主义一阶谓词演算的基础上引进Prior工作中揭示的模态直觉主义系统MIPC的模态机制 ,从而得到一个直觉主义量词模态逻辑系统MIPC ,并给予它一个语义解释 ,证明其关于该语义的强 (因而弱 )完全性定理 .多次实质性地用到Zorn引理 ,因而在方法论上较Thomason的结果更加远离直觉主义观点 .
展开更多
关键词
直觉主义
量词
模态逻辑
MIPC
强完全性定理
原文传递
量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形
2
作者
高恒珊
《数学学报（中文版）》
SCIE
CSCD
北大核心
1995年第4期529-542,共14页
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，...
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
展开更多
关键词
代数语义
嵌套论域
量词
模态逻辑
Barcan公式
原文传递
直觉主义量词模态逻辑系统MIPC~*的可靠性定理
3
作者
高恒珊
《数学学报（中文版）》
SCIE
CSCD
北大核心
2003年第3期463-468,共6页
设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.
关键词
直觉主义
量词
模态逻辑
完全
模态
化公式
可靠性定理
原文传递
题名
直觉主义量词模态逻辑的一个强完全性定理
被引量：
1
1
作者
高恒珊
机构
中国科学技术大学研究生院
出处
《中国科学（E辑）》
CSCD
1999年第5期464-473,共10页
文摘
在Thomason讨论到的直觉主义一阶谓词演算的基础上引进Prior工作中揭示的模态直觉主义系统MIPC的模态机制 ,从而得到一个直觉主义量词模态逻辑系统MIPC ,并给予它一个语义解释 ,证明其关于该语义的强 (因而弱 )完全性定理 .多次实质性地用到Zorn引理 ,因而在方法论上较Thomason的结果更加远离直觉主义观点 .
关键词
直觉主义
量词
模态逻辑
MIPC
强完全性定理
分类号
O141.1 [理学—数学]
原文传递
题名
量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形
2
作者
高恒珊
机构
中国科技大学研究生院
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
1995年第4期529-542,共14页
基金
中国科学院院内基金
文摘
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
关键词
代数语义
嵌套论域
量词
模态逻辑
Barcan公式
Keywords
algebraic semantics, Barcan formula, Kripke’s relational semantics, nested domains,Kripke’s special semantic, completeness theorem
分类号
O141 [理学—数学]
原文传递
题名
直觉主义量词模态逻辑系统MIPC~*的可靠性定理
3
作者
高恒珊
机构
中国科学院研究生院数学部
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2003年第3期463-468,共6页
文摘
设WMμ为系统MIPC*全部公式的集,再设г∪{A} WMμ,则гMIPC* A意义明显.而 M A指гM-蕴涵A.以前已证明гM A гMIPC*A,即MIPC*为强完全的.本文证明其逆定理成立,即гMIPC*A гM A.是为MIPC*的可靠性定理.
关键词
直觉主义
量词
模态逻辑
完全
模态
化公式
可靠性定理
Keywords
Intuitionistic quantified modal logic
Completely modalized formulae
Soundness theorem
分类号
O151.3 [理学—数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
直觉主义量词模态逻辑的一个强完全性定理
高恒珊
《中国科学（E辑）》
CSCD
1999
1
原文传递
2
量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形
高恒珊
《数学学报（中文版）》
SCIE
CSCD
北大核心
1995
0
原文传递
3
直觉主义量词模态逻辑系统MIPC~*的可靠性定理
高恒珊
《数学学报（中文版）》
SCIE
CSCD
北大核心
2003
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
