Hopf代数同态与Hopf理想

利用Hopf代数的基本研究方法，讨论了在Hopf代数同态下有关商Hopf代数的性质并对余代数的基本同态定理进行了推广。     

在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

一类效应代数中的理想

证明了若Ⅰ是效应代数(E(Ω),⊕,⊥,0,1)的一个闭理想,则存在Ω的一个闭的子集S,使得I是所有在S上为零的函数的集合.反之,若S是一个Ω的闭子集,则所有在S上为零的函数之集是效应代数(E(Ω),⊕,⊥,0,1)的一个闭理想.     

广义连续格的同态

引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。     

格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.     

一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。     

正则Fuzzy蕴涵代数的理想格

引入正则Fuzzy蕴涵代数的理想概念,并给出它的若干等价刻画; 获得了由非空子集生成的理想的表示定理; 证明了一个正则Fuzzy蕴涵代数上全体理想之集在集合包含序下构成一个分配连续格,从而构成一个Frame.     

格蕴涵代数的Ω-犹豫模糊LI-理想

在集合 Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义了格蕴涵代数中的 Ω-犹豫模糊LI-理想,讨论其性质及若干等价刻画;研究了 Ω-犹豫模糊LI-理想与其LI-理想之间的关系;讨论了格蕴涵代数的 Ω-犹豫模糊LI-理想的同态像与同态原像的性质.     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余格和MV-代数。     

伪格蕴涵代数

为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征.     

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.     

一类新的RDS型李代数

通过对李代数理想格的讨论,研究李代数的结构和性质。借助李代数的理想的刻画,构造了一类新的高维RDS型李代数。     

基于关系代数的数据立方体格的优化实现方法

多维数据立方体是数据仓库和OLAP服务器的主要数据组织模型，多维数据立方体格的实现占用大量的时间和空间资源。本文提出了一种基于关系代数的多维数据立方体格的实现算法，针对ROLAP和MOLAP的不同实现形式提供了一种综合的优化算法。     

一般线性李代数的极大理想

假设R是含幺可换环且在2和n处可逆,gln（R）是R上的所有n×n阶矩阵上的一般线性李代数.本文首先构造出gln（R）的一般理想,从中找出了两类极大理想并且用同构理论证明了gln（R）只有这两类极大理想.gln（R）的极大理想分类完全了.     

正规软代数的素理想刻划

讨论了正规软代数的素理想与同余关系的性质，利用软代数的素理想和同余关系刻划了正规软代数。     

Stone代数的素理想与同余关系

用Ｓｔｏｎｅ代数的素理想集刻划了Ｓｔｏｎｅ代数的每一个同余关系，并证明了Ｃｏｎ（Ｌ）可以嵌入于Ｚ（Ｐ（Ｌ））中。由此证得了Ｓｔｏｎｅ代数的同余扩张性，并给出了Ｓｔｏｎｅ代数的同余理想用素理想集刻划的表达式