蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

奇异黎曼度量下Г—等变分歧问题的Г—C°接触等价d决定性（下）

研究了奇异黎曼度量之下的 Γ-等变分歧问题中的 Γ- C°接触等价性 ,提供了 Γ- C°等价的判别法 .它们是 Percell.P.B,ZOU Jiang- chen,SU N W Z关于分歧问题有限决定性 C0理论中的有关结果的推广 .使用奇点理论及紧群表示方法给出了相关定理的证明     

两个ιp(Γ,E)型空间的单位球面间满等距映射的表现定理及等距延拓

本文得到两个实的ιp(Γ,E)型空间单位球面之间满等距映射的表现定理(这里,1≤p＜+∞,p≠2,E为内积空间),并导出上述映射可延拓为全空间上的实线性等距算子.     

命题逻辑中的蕴涵置换法

引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。     

Fuzzy蕴涵代数与有界BCK代数的关系

本文讨论了Fuzzy蕴涵代数与有界BCK代数互为对偶的关系。     

Γ-环的Baer根、b-根与拟b-根

本文定义了Γ-环的b-理想与拟b-理想,论述了Γ-环中都有一个Baer根,一个b-根与一个拟强b-根,并且还证得了Γ-环的Baer根=b-根=拟b-根。     

模糊蕴涵与Smooth紧

1985年,Sostak[8]由逻辑的观点出发定义了一种基于Lukasiew icz蕴涵算子的Sm ooth紧,基于同样的思想A.H aydar E s[12]又定义了另外几种Sm ooth(fuzzy)紧并讨论了它们之间的关系。王国俊教授[10]提出了一种比Lukasiew icz算子具有更好性质的R0-算子,基于R0-算子我们定义了一种模糊蕴涵,通过这种模糊蕴涵定义几种Sm ooth紧并讨论了它们的一些性质。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

积格上蕴涵算子的直积分解

进一步讨论蕴涵算子的直积分解,描述积格上可以分解为两个蕴涵算子直积的蕴涵算子的特性,并研究积格上S-蕴涵、R-蕴涵、n-反演R-蕴涵和n-反演QL-蕴涵的可分解性。     

几乎强幂零Γ—环所确定的根

本文讨论几乎强幂零Γ-环及其所确定的根。主要证明了:(1)Γ-环的素根类是几乎强幂零Γ-环类的最小划分;(2)由一切几乎强幂零Γ-环类所确定的下根重合于由一切无非零几乎强幂零理想的Γ-环所确定的上根。