期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
分划逻辑与着色卵石博奕 被引量: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 下一页 到第
使用帮助 返回顶部