两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

关于连续偏序集的注记

研究了domain的推广--连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

扭双指标代数的零关系Ringel对偶

部分解决了惠昌常提出的一个公开问题,给出了广义V 型偏序集的对偶扩张代数的Ringel对偶代数的定义理想的生成元集, 证明了该类代数仍是零关系代数.     

偏序集的主理想连续性和闭区间连续性

在偏序集上引入并考察了主理想连续性(相应地代数性)和闭区间连续性(相应地代数性). 证明了主理想连续性(代数性)和通常的偏序集连续性(代数性)是等价的. 构造了反例说明闭区间连续性与通常的偏序集连续性互不蕴涵. 证明了连续偏序集(代数偏序集)如果非空有限集有多值并，则必定是闭区间连续集(代数集)；而闭区间连续性(代数性)附加下方控制条件，则蕴涵通常连续性(代数性). 得到了Scott Domain的两个新的等价刻画.     

每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

有界蕴涵BCK-代数的伴随半群

引用偏序半群中剩余的概念,对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论,证明了M（X）是一个有补格,模格,进一步证明了M（X）是一个Heyting代数。     

极小Urysohn L-fuzy拓扑空间及其性质

引进了极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间的概念．利用Ｕｒｙｓｏｈｎ理想基证明了一个Ｌ－ｆｕｚｙ拓扑空间（ＬＸ，δ）是极小Ｕｒｙｓｏｈｎ空间当且仅当（ＬＸ，δ）是ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间且ＬＸ上的每一个具有唯一聚点的Ｕｒｙｓｏｈｎ理想基收敛；极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间是Ｕｒｙｓｏｈｎ闭空间，而且也是Ｌ－ｆｕｚｚｙ半正则空间．最后证明了ＵｒｙｓｏｈｎＬ－ｆｕｚｚｙ极小性是拓扑不变性质．     

Results of Associated Implication Algebra on a Partial Ordered Set

Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation between lattice H implication algebra and associated implication algebra is discussed. Also, the concept of filter is proposed with some basic properties being studied.     

自反模糊滤子与自反模糊序理想

引入ＢＣＫ－代数Ｘ的自反模糊滤子及ＢＣＫ－代数伴随半群Ｍ（Ｘ）的自反模糊序理想的概念,由自反模糊滤子可诱导一个自反模糊序理想,反过来,由自反模糊序理想也可诱导一个自反模糊滤子,最后证明了ＢＣＫ－代数的所有自反模糊滤子的集合与ＢＣＫ－代数伴随半群Ｍ（Ｘ）的所有自反模糊序理想的集合之间存在一一对应。     

Engel子代数可三角化的李代数

本文讨论了真Ｅｎｇｅｌ子代数的伴随表示均可三角化的李代数的结构，证明了不可解Ｅ．ｔ．李代数一定位于一单Ｅ．ｔ．李代数的微分代数与内微分代数之间。在Ｗｉｎｔｅｒ关于单Ｅ．ｔ．李代数的猜测成立的前提下，得到了Ｅ．ｔ．李代数是中心化子幂零代数的条件。     

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

关于MV-代数

讨论了 MV-代数 ( X; ,× ,* ,0 ,1 )上自然偏序关系的一些基本性质 ;给出了 MV-代数的一个等价公理系 ,它同 D.Mundici曾提出的一个简化公理系相比更为简单 .     

粗糙集代数与MTL代数

讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数.     

重极限和二重直极限的几点讨论

直极限和逆极限是泛代数中生成新代数的方法 ,为了进一步研究新代数的生成 ,笔者给出了重集族和重极限的定义 ,讨论了代数的重极限 ;其次研究了二重直集族和二重直极限及相应性质 ,讨论了二重直代数族和二重直代数族的极限     

八元数方阵的表示方阵应用

文章考察八元数方阵。用它的表示方阵构造了伴随方阵,讨论了八元数满秩方阵的性质,并将域上的Cayley-Hamilton定理推广到Cayley代数上。