| 分划逻辑与着色卵石博奕 |
| |
| 引用本文： | 沈恩绍.分划逻辑与着色卵石博奕[J].数学进展,1995,24(6):540-546. |
| |
| 作者姓名： | 沈恩绍 |
| |
| 作者单位： | 上海交通大学计算机系 |
| |
| 摘 要： | 将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑严格地弱于ｍｏｎａｄｉｃ二阶逻辑。
|
| 关 键 词： | 扩充逻辑 二阶逻辑 卵石博奕 分划逻辑 |
Partition Logics and Coloured Pebble Games |
| |
| Shen Enshao.Partition Logics and Coloured Pebble Games[J].Advances in Mathematics,1995,24(6):540-546. |
| |
| Authors: | Shen Enshao |
| |
| Abstract: | |
| |
| Keywords: | extended logic partition quantifiers monadic second order logic pebblegames |
| 本文献已被 CNKI 维普 等数据库收录！ |
