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

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

分配的Fuzzy蕴涵代数

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

可换BR_0代数的刻画和性质

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

W_d─Fuzzy蕴涵代数

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