正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.

正则FI-代数的刻画及成为Boole代数的条件

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。

正则FI-代数与WBR_0-代数的关系

对正则FI-代数和WBR0-代数进行了研究,讨论了两者之间的关系.改进了正则FI-代数原有的定义;证明了WBR0-代数一定是正则FI-代数;通过实例说明正则FI-代数不一定是WBR0-代数;证明了正则FI-代数是WBR0-代数的一个充分条件是:((a→0)→b)→c=((a→c)→((b→c)→0))→0.

关于正则剩余格与R_0^-代数的几点注记

正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.

BR_0-代数的简化及FI-代数的关系

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系.

WBR_0-代数的两种弱化形式及其性质

将WBR0-代数的条件进行两种不同形式的弱化,建立了模糊BR0-代数(FBR0-代数)结构和正则BR0-代数(RBR0-代数)结构,讨论了其中的相关性质.证明了:正则BR0-代数是模糊BR0-代数,模糊BR0-代数和FI-代数是相同代数结构,正则BR0-代数和正则FI-代数是相同代数结构.分别构造了非正则BR0-代数的模糊BR0-代数和非WBR0-代数的正则BR0-代数,从而阐明了模糊BR0-代数、正则BR0-代数、WBR0-代数的相互蕴涵关系和相对独立性.

关于对合BCK代数

证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。

BCI-代数与弱FI-代数的对偶关系

讨论了BCI-代数与弱FI代数的关系,主要给出了如下结论:BCI-代数与弱FI代数相互对偶,p-半单BCI-代数与正则弱FI-代数相互对偶,BCI-代数的加法半群与弱FI-代数的加法半群一致,BCI-代数的理想与弱FI代数的滤子等价。