正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

拓扑赋层分子格的连通性

本文在具有赋层结构的拓扑赋层分子格中定义了一种具有层次特色的λ－连通性,井证明了这种连通性较好地保持了一般拓扑学中连通性的相应结论。     

一类Domain范畴及其笛卡儿闭子范畴

本文给出一类新的 Ｄｏｍａｉｎ范畴 ＡｌｇＤ■（即以代数 Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）及其满子范畴ＡｌｇＤ■（即以有底（最小元）的代数Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）,并且讨论它们的极大的笛卡儿闭的满子范畴．     

Z2对称分岔问题中高阶项集合的注释

本文首先给出了关于Z₂对称分岔问题中高阶项集合的若干命题,然后给出了Z₂对称分岔问题中高阶项集合的计算公式的证明.     

STML(し)范畴的若干结果

本文讨论了由L-smooth拓扑分子格和L-smooth连续的广义序同态所构成的STML(し)范畴的苦干结果,证明了范畴STML(し)是拓扑范畴,范畴TML是范畴STML(し)的双反射满子范畴,以及两个伴随定理.     

Fuzzy边界与序同态的特征性质

本文首先给出Fuzzy拓扑空间中元的边界定义和它的一般性质,而后讨论Fuzzy拓扑空间之间保边界、保内部、保闭包等序同态的若干特征性质,及其与开、闭序同态,连续序同态,同胚序同态之间的关系。     

HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

分子格的既约度,分解度与分子格乘积的既约性

为探讨分子格的乘积的既约性和乘积的既约分解,文献[1]提出了分子格的既约度和分解度的概念,本文是[1]的继续,进一步给出了分子格的既约度与分解度的一些性质,证明了关于分子格乘积的全体主子格之集的基数的一个定理,以及得出了一族分子格的乘积是既约分子格的一个充要条件,此外,本文还证明了分子格范畴中乘积对上积的完全分配性是自然同构,改正了[1]中对这一结论的证明。