本文主要研究分划逻辑在线性序结构上的表达能力及其相关性质，主要创造性工作由以下两部分组成：(1) 将确定型自动机和分划逻辑各类型......

...

该文的主要结果是:首先提出自动机运行图(running map of operating map)的概念,然后分别考察ω(Z)-自动机的整体运行图和单字运行......

给出并证明了字模型在等价关系￣Ｌ（ＭＰ）之下等价类数目的两类上界。...

将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法......

给出Ｍｏｎａｄｉｃ分划逻辑初等等介的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。......