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

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

Lω1ω语言格值模型论的省略型定理及其应用

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

Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(～=)Q.     

拓扑空间上的广义R-KKM型定理及其应用

在拓扑空间中对具有紧闭值的广义R-KKM映像建立了某些新的KKM定理．应用这些KKM型定理,在拓扑空间中得到了新的KyFan型极小极大不等式和鞍点定理．     

有补模格的一个定理

本文是对参考文献[1]命题57证明的补充和改进。该命题乃指:     

关于在格(L,≤)上的同余关系的讨论

本文讨论了在格（Ｌ,≤）上的同余关系,给出了一些在格（Ｌ,≤）上的同余关系的性质．     

拓扑分子格上的粘接定理

本文建立了拓扑分子格上的粘接定理,使得经典拓扑学的粘接引理成为其特殊情形。     

交超格上的素超理想定理

引入了交超格上超理想的概念,探讨了超格和超理想的相关性质,并进一步研究了带"*"条件的交超格,在此基础上给出了素超理想定理.     

可加广义代数格上的分离性

邓自克教授提出的可加的广义代数格范畴,等价于T0—拓扑空间范畴.从而可加的广义代数格可以看作为一个闭集格,在本文,我们建立了正则、完全正则、正规等分离性.     

广义压缩型映象的不动点定理

文[1]对依赖于空间X的点的特殊迭代之广义压缩映象,证明了若干不动点定理。本文得到了完备度量空间(X,d)的自映象族与另一自映象有唯一公共不动点的充分条件,推广了文[1]中的某些结果。     

完备格L上的三角结构

在最广泛的完备格框架下引入了一种新的代数结构,即三角结构,它是L上满足适当条件的一种关系。在一定条件下L上的三角结构与L上的自映射可以互相转化。基于这一事实,内部算子、闭包算子、近性结构(proximity)以及近年来在完全分配格上建立的拟一致结构理论和Katsaras在Fuzzy集框架下提出的泛拓扑结构(Syntopogenous Structure)理论等都可以统一于三角结构理论之中。     

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

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

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

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

广义Meir-Keeler型映象的不动点定理

§1.引言设(X,d)是一完备的度量空间,设A是X到X的映象,如果A满足下之一条件(m),m=1,2,则称A是X上第(m)类的Meir-Keeler型映象。(1)(Meir,Keeler[4]),任给ε>0,存在δ>0,当ε≤d(x,y)<ε δ时,就有d(Ax,Ay)<ε。(2)(Maiti,Pal[3])。任给ε>0,存在δ>0,当ε≤max{d(x,y),d(x,Ax),d(y,Ay)}<ε δ时,就有d(Ax,Ay)<ε。     

对换超格上的约当定理

在超格的闭集合和超格的正则性的基础上,给出了对换超格上的约当定理,并研究了一些相关的性质。     

强并超格上的素超滤子定理

引入了强并超格的概念并给出了强并超格上超理想和超滤子的定义,探讨了元素a生成的超理想及I(a∧b)的分配性.进一步研究了带“*”条件的强并超格,并在此基础上给出了素超滤子定理.