主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......

在无限长逻辑L ω1ω的一个子逻辑L ′ω1ω上建立了几个保持性定理....

在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．......

该文构作了一个ｌｉｂｅｒａｌ理论范Ｔｈ讨论了ｌｉｂｅｒａｌ理论态射的一些性质，得到了Ｐｅｒｓｉｓｔｅｎｔ函子了的一个刻划定理，同时也得到了Ｆ－ｆｒｅｅ，Ｆ－ｇｅｎｅｒａｔｅｄ，Ｆ－ｐｒｉｍｅ模型的一些结果。......

该文较为巧妙地证明了Ｓａｔｉｓｆａｃｔｉｏｎ Ｃｏｎｄｉｔｉｏｎ，建立了一个正则序类方程逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。......

该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。......