完备强对偶原子分配格上的不可约极小并分解及其应用

在完备强对偶原子分配格上引入了不可约极小并分解的概念,给出了元素存在不可约极小并分解的一些充要条件.证明了当元素恰有一个下邻时,该元素就是完全并既约元;有两个下邻时,元素的不可约极小并分解与不可约完全并既分解是等价的;下邻多于两个时,元素的不可约极小并分解不一定是不可约完全并既分解.最后证明了模糊关系方程有极小解的充要条件是方程左边有大于等于右手项的系数或右手项系数有不可约极小并分解.

对偶Quantale及其性质

提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale中的布尔代数 .

一类Fuzzy关系方程的解法

在完备对偶Brower格和有限论域上,讨论了一类Fuzzy关系方程AΘX=b,当b有不可约有限交分解并且解集非空时的解法(其中A=(a1,a2,…,an)和b已知,X=(x1,x2,…,xn)T未知,"Θ"表示"inf-sup"合成).

闭包算子与Topped交结构的序关系

研究了同一集合上的几种闭包算子与相应的Topped(带有最大元的)交结构之间的序关系.在任意集合X上的全体闭包算子之集C(X)、Topped交结构之集I(X)、代数闭包算子之集AC(X)、代数Topped交结构之集AI(X)上分别定义了偏序,证明了C(X)、AC(X)、I(X)及AI(X)都是完备格,并且C(X)与I(X)对偶同构,AC(X)与AI(X)对偶同构.得到了集合X上的全体拓扑闭包算子之集TC(X)与全体拓扑Topped交结构之集TI(X)对偶同构,拟阵闭包算子之集MC(X)与拟阵Topped交结构之集MI(X)(拟阵闭集族)对偶同构.

映射与逆映射

从映射与逆映射的基本关系谈起,较系统地整理了模糊映射及其性质,将其扩展为序同态概念并进而纳入于具有逆序对合对应的完备格之间的映射理论之中.同时明确指出逆序对合对应是较DeMorgan对偶律强的性质.