期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分划逻辑与着色卵石博奕
被引量:
1
1
作者
沈恩绍
《数学进展》
CSCD
北大核心
1995年第6期540-546,共7页
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,...
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。
展开更多
关键词
扩充逻辑
二阶逻辑
卵石博奕
分划逻辑
下载PDF
职称材料
题名
分划逻辑与着色卵石博奕
被引量:
1
1
作者
沈恩绍
机构
上海交通大学计算机系
出处
《数学进展》
CSCD
北大核心
1995年第6期540-546,共7页
基金
"大众汽车"基金
文摘
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。
关键词
扩充逻辑
二阶逻辑
卵石博奕
分划逻辑
Keywords
extended logic
partition quantifiers
monadic second order logic
pebblegames
分类号
O141.3 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
分划逻辑与着色卵石博奕
沈恩绍
《数学进展》
CSCD
北大核心
1995
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部