自然科学版
哲学社会科学版
自然科学版
当代教师教育
中国西部研究
高校实验科学技术
陕西师范大学学报（自然科学版）
数学与计算机科学
正则FI代数与WBR0代数的关系
PDF下载 ()
陈冬青，吴洪博*
(陕西师范大学 数学与信息科学学院， 陕西 西安 710062)
陈冬青，女，硕士研究生，研究方向为非经典数理逻辑.Email:cdq@stu.snnu.edu.cn.
摘要:
对正则FI代数和WBR0代数进行了研究， 讨论了两者之间的关系. 改进了正则FI代数原有的定义;证明了WBR0代数一定是正则FI代数;通过实例说明正则FI代数不一定是WBR0代数;证明了正则FI代数是WBR0代数的一个充分条件是:((a→0)→ b)→ c=((a→ c)→((b→ c)→0))→0.
关键词：
逻辑代数; WBR0代数; 正则FI代数; 有界格; 等价形式
收稿日期：
2010-12-09
中图分类号：
O141.1
文献标识码：
A
文章编号：
16724291(2011)05000704
基金项目：
国家自然科学基金资助项目(10871121)
Doi:
The relation between regular FIalgebras and WBR0algebras
CHEN Dongqing， WU Hongbo*
(College of Mathematics and Information Science， Shaanxi Normal University， Xi′an 710062， Shaanxi， China)
Abstract:
The properties of WBR0algebra and regular FIalgebra and the relation between them are discussed.The original definition of regular FIalgebra is improved; it is proved that a WBR0algebra is certainly a regular FIalgebra; it is shown by a concrete example that not all regular FIalgebras is a WBR0algebra; it is also proved that a regular FIalgebra having the property of ((a→0)→ b)→ c=((a→ c)→((b→ c)→0))→0 is a WBR0algebra.
KeyWords:
logic algebra; WBR0algebra; regular FIalgebra; bounded lattice; equivalent form

版权所有：陕西师范大学学报期刊社