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

摘要：

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

关键词：逻辑代数、WBR0-代数、正则FI-代数、有界格、等价形式

所属期刊栏目：39

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目10871121

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：7-10