L(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。     

(Q)格值模型的省略型定理

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。     

( )(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.     

_（ω1ω）语言格值模型论的省略型定理及其应用

利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。     

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

研究格值模型论的一种新方法

多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。     

L（Q）格值模型的完全弱理论

对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.     

lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

多元模态逻辑在有限模型语义下的(L)os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理

本文得到了对于逻辑系统L(w1,w)的 L-S 型定理与 H-型定理.     

一个连续性定理及其在对策论中的应用

本文首先证明了一个连续性定理，然后给出它在对策论中的应用，所得结果推广了Selten的工作。     

拓扑空间中的KKM型定理及其应用

利用具有性质(H)的拓扑空间中的KKM型定理,给出了一个匹配定理,一个不动点定理,一个极大元定理。最后作为其应用,在具有性质(H)的拓扑空间得到了抽象经济的平衡存在定理。     

一个连续性定理及其在对策论中的应用

本文首先证明了一个连续性定理，然后给出它在对策论中的应用，所得结果推广了Ｓｅｌｔｅｎ的工作。     

LST定理与模型论方法：兼评新著《非标准分析概念》

以ＬＳＴ定理为例说明模型成果作为逻辑性论起推理工具作用的特点，讨论了ＬＳＴ定理对非标准分析的应用。对新著《非标准分析概论》给予了评论。