|
|||||
|
|
| 可量词消去的树形偏序理论的分类 | |
| 引用本文： | 傅莺莺,沈复兴.可量词消去的树形偏序理论的分类[J].数学学报,2014(6). |
| 作者姓名： | 傅莺莺 沈复兴 |
| 作者单位： | 北京工商大学理学院;北京师范大学信息科学与技术学院; |
| 基金项目： | 国家自然科学基金资助项目(61304155,11101012,11401015);北京工商大学青年教师科研启动基金(QNJJ2014-27) |
| 摘 要： | 提出了偏序的全序片段、序模式的概念以刻画树形偏序的结构特征,以此为基础,讨论了有最小元0的树形偏序理论的量词消去性质,给出了在语言(?)_0={,0}及其膨胀语言下可以量词消去的这类理论的完全分类。 |
| 关 键 词： | 偏序 量词消去 序模式 树结构 |
The Classification of All Quantifier-Eliminable Treelike Partial Orderings with a Least Element |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |