软件的逻辑及相关技术研究

本项目解决了在软件理论及技术实践中提出的一系列逻辑理论问题：Unity的代数的语义的建立；对函词式程序及入一项的协调性问题提出新的判定法则；易项分类问题的解决；线性逻辑量化系统的建立QLL；以可计算可枚举度界定最小度；BF（E）空间上包含关系的一阶可定义性。这些结果都有比较深刻的理论背景，同时又与应用紧密联系，是有相当的科学意义的。分别具有国内先进水平和国际水平。项上组已完成论文十几篇，圆满完成了任务。