完备格上交既约元的性质

根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.

弱完全交既约元及其性质

根据格上交既约元、完全交既约元的概念,定义了弱完全交既约元,进而得出完备格上弱交既约元的一些性质及相关结论,并给出了完全交既约元的另一种等价定义.

弱交既约元的性质

首先引入弱上邻、弱交既约元的概念,其次利用弱上邻、上邻给出了弱交既约元、弱完全交既约元、弱连续交既约元的等价刻画,最后给出了分配的定向完备格上弱连续交既约元的一些基本性质。

弱连续交既约元及其性质

作为交既约元的一种推广,引入弱连续交既约元的概念,并对其在完备格上的一些性质进行讨论,得到若干结果.

非负整数格上元素的性质及其在刻画@-Fuzzy关系方程解集中的作用

首先讨论了非负整数格上元素的性质。从而完全地刻画了非负整数格上@-Fuzzy关系方程(其中@表示inf-α合成)的解集。

N元格蕴涵代数不等式的解Ⅰ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件。在b是L交既约元的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集。

带蕴涵算子的N元格蕴涵代数不等式的解

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集.

不可约内部算子和不可约闭包算子

本文借助格理论中的交既约元与并既约元的定义,通过对偏序集上闭包算子和内部算子的研究,给出了不可约闭包算子和不可约内部算子的定义,并研究了其相关性质及其等价刻画。

上邻及弱上邻

首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约元讨论了上邻及弱上邻在交半格、完备格及余dcpo不同背景下的性质.

完备Brouwerian格上@-Fuzzy关系方程有唯一解的判别法

在完备Brouwerian格上讨论了@-Fuzzy(其中@表示inf-α合成)关系方程有唯一解的问题,首先定义了@-Fuzzy关系方程的特征矩阵,然后利用特征矩阵给出了方程有唯一解的判别法.