正则FI代数的MP滤子与同构基本定理

摘要：

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是BRo-代数和BL-代数的基础逻辑代数.基于经典代数的思想和方法,讨论了正则FI-代数的MP滤子与同构基本定理.引入正则FI-代数中MP滤子的概念,并讨论了其基本性质,给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法;讨论了正则FI-代数的MP滤子和同余关系之间的内在联系;给出了正则FI-代数的同构基本定理.

关键词：逻辑代数、正则模糊蕴涵(FI)-代数、分离规则(MP)滤子、同余关系、模糊蕴涵(FI)-同态、同构基本定理

所属期刊栏目：52

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

资助基金：国家自然科学基金11531009,61572016;中央高校基本科研业务费专项基金项目GK201501001

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

页数：共6页

页码：39-43,49