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

• 作者: 凌雪岷 徐罗山 杨凌云
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: FI-代数 正则FI-代数 蕴涵分配性 Boole代数
• 年，卷（期）: 2018,（16）
• 所属期刊栏目: 理论与研发
• 页码范围: 59-62
• 页数: 4页
• 分类号: O141|O153
• 字数: 3174字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1706-0345

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐罗山	扬州大学数学科学学院	62	421	12.0	18.0
2	凌雪岷	安徽新华学院通识教育部	17	9	2.0	3.0
3	杨凌云	江苏师范大学数学与统计学院	2	0	0.0	0.0