0—1律研究中的局部化方法

对０－１律的研究提出了一种有别于以往的整体化方法的新方法，称之为局部化的方法，并证明了一个有关局部－整体的结论。     

基于Web的信息采集系统

提出了一种利用多主体理论设计的信息采集系统ICS．它利用现有搜索引擎搜集回应者（能够提供查询问题答案的网络用户）的电子邮箱地址,将查询问题通过电子邮件发送给回应者,并收集回应者提供的答案,经过处理后提交给用户,从而将静态的信息检索变为用户之间动态的对话．试验证实,该系统能够提供复杂查询的答案．     

0－1律研究中的局部化方法

对０－１律的研究提出了一种有别于以付的整体化方法的新方法，称之为局部化的方法，并证明了一个有关局部一整体的结论。     

Monadic分划逻辑中的Fraisse定理

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

L(p~(1,1))和w-E则语言

1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*,N∈∑~w,有时也把u、v分别记为u(0)u(1)…u(n)(若(u)=n 1)和刚v(0)v(1)v(2)….用w(m,n)记字w的从第m个位置起到第n个位置止的那一串符号构成的字.根据McNaughton的定理,w-E则语言可以通过非决定性的B(?)chi自动机来定义,也可以通过决定性的Muller自动机来定义.     

动作和进化的模型论基础

在分析改进有关工作的基础上，给出了一种多类逻辑作为刻画动作的形式基础，定义所谓的极小动作理论，并着重从模型论的角度研究它。在此基础上结合数理逻辑的有关方法，分析研究化的概念。