赋值格为非线性序的Kleene-Dienes四值逻辑系统K24

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的补运算,而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４,得到若干结果。特别是,Ｋ＾２４中没有重言式,其准重言式恰与Ｃ２中的重言式一致,即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。     

赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2

研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，即ＱＴ（Ｋ２４）＝ Ｔ（Ｃ２）。     

依零测度的Fuzzy集运算

给出了Fuzzy集合依零测度的包含，依零测度的相等。依零测度的并．交，补运算等。并补充地研究了这些基本运算，获得了若干好的性质。Fuzzy集依零测度的基本运算比标准fuzzy集合论的相应运算更有人情味,更为接近人的智能机理。有望在智能信息处理和软计算领域取得好的应用。     

Ⅱ型强仿紧性与λ—截拓扑

讨论空间运算与λ－截拓扑的关系。证明Ⅱ型Ｆｕｚｚｙ仿紧性以及Ｌ－Ｚａｄｅｈ型函数的连续性和开性都是λ可截性质。     

L—Fuzzy命题逻辑系统的语构分层方案

建立一种L－Fuzzy命题逻辑的语构分层构造,引进诸如λ－信息,λ－公理系,λ－语构,λ－证明,λ－定理,λ－语构结论,λ－语构闭包,λ－紧性,,上L－Fuzzy语构闭包,下Fuzzy语构闭包,λ－语构分层和谐,语构分层和谐,强语构分层和谐等新的观念和方法,从而L－Fuzzy命题逻辑语构和语义分层次的程度化的和谐性度量提供了一种方案。