R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。     

一类新无限维李子代数的同构和同态

构造了一类由三个基本元生成的无限维李代数.证明了这类无限维李代数是Virasoro-like李代数的推广.此外,研究了这类李子代数同构和同态.     

一个由三类基本元生成无限维李子代数的反同构和反同态

新构造了一类由三个基本元生成的无限维李代数,这类李代数是Virasorolike李代数的推广.研究了这类李子代数反同构和反同态.     

分配格中同余关系的性质

分两种情况讨论了分配格与有限代数的同余关系格同构的问题,给出判断分配格的充分必要条件,证明了两个结论:有限分配格是Boole格和具有可数个元的分配格的同余关系格是Boole格.     

基于滤子的软拓扑空间的刻画

本文首先定义了软滤子和极大软滤子,接着我们讨论了软滤子和极大软滤子的相关性质;其次,我们利用软滤子和极大软滤子刻画了软拓扑空间的紧性;最后我们讨论了软拓扑空间的连续性。     

MTL代数及由其MP滤子型商代数的局部有限性

首先,将局部有限方法引入到MTL代数中,提出了局部有限MTL代数的概念,给出了局部有限MTL代数的一些基本性质,证明了局部有限MTL代数的线性性质;其次,讨论了MTL代数的MP滤子的相关性质;最后,证明了由MP滤子诱导的商贷数M/F是局部有限的非退化MTL代数的充分必要条件是MP滤子是极大MP滤子;证明了每一个MTL代数可以嵌入到一族局部有限的MTL代数的直积MTL代数中。     

R_0-代数[0,1]的子代数与广义重言式

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

效应代数的EA-滤子和EA-态射的相关性质

首先,在效应代数中引入了EA-滤子的概念,给出了EA-滤子的几种等价刻画,讨论了效应代数中真EA-滤子与极大EA-滤子间的关系;其次,在格效应代数中讨论了EA-滤子与格滤子之间的关系;最后,讨论了EA-态射的核的EA-滤子性质和SEA-滤子关于EA-态射的相关性质,并利用SEA-滤子得到了格效应代数的同构定理。     

Fuzzy蕴涵代数的素模糊MP滤子

本文的目的是对Fuzzy蕴涵代数(简称FI代数)中的模糊MP滤子理论作进踊步深入研究。首先,引入素模糊MP滤子的概念并研究其性质,建立并证明了并半格FI代数的素模糊MP滤子定理;其次,在FI代数的素模糊MP滤子全体之集PFFMP(X)上构造了一个拓扑T,证明了拓扑空间(PFFMP(X),T)是T0空间。