HFI-代数的拟Fuzzy-赋值

给出 FI-代数的生成滤子的几个性质 ,然后在 FI-代数上定义了一种拟 Fuzzy-赋值 ,在研究它的一些性质的同时并利用它对 FI-代数的生成滤子予以刻画。

正则HFI代数与格H蕴涵代数的关系

证明了正则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的．

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质,接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的,从而得到Boole代数的两个等价形式,并且证明了分配的Fuzzy蕴涵代数是BL代数,最后得到了FI代数成为Boole代数的几个充要条件。

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.

可交换的Fuzy蕴涵代数

Ｆｕｚｙ蕴涵代数，简称ＦＩ代数，是一个新的代数系统，它是［０，１］值逻辑的蕴涵连接词的代数抽象。本文在ＦＩ代数中引进“交换”运算，从而得到了进一步刻划ＦＩ代数及ＨＦＩ代数的若干结果。

W_d─Fuzzy蕴涵代数

本文讨论了异于ＨＦＩ代数的一类新的恒的ＦＩ代数的抽象代数，简称Ｗｄ—ＦＩ代数，得到了一些有趣的结果，并指出了它与正则ＦＩ代数及ＩＩＦＩ代数的内在联系。