正则FI-代数相关论文
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^＊和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^＊系......
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代......
将WBR0-代数的条件进行两种不同形式的弱化,建立了模糊BR0-代数（FBR0-代数）结构和正则BR0-代数（RBR0-代数）结构,讨论了其中的相关性质.......
正则FI-代数、Ro-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的“语义代数”,本文中，进一步研究了它们之间的密切联系．......
对正则FI-代数和WBR0-代数进行了研究,讨论了两者之间的关系.改进了正则FI-代数原有的定义;证明了WBR0-代数一定是正则FI-代数;通......
研究了正则FI-代数的性质,并证明了对于正则FI-代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子(○×),......
