可换BR_0代数的刻画和性质  

Characterizations and properties of commutative BR_0-algebras

作　　者：凌雪岷[1,2] 徐罗山[1] 

机构地区：[1]扬州大学数学科学学院,江苏扬州225002 [2]安徽新华学院公共课教学部,合肥230031

出　　处：《扬州大学学报（自然科学版）》2012年第1期1-4,37,共5页Journal of Yangzhou University：Natural Science Edition

基　　金：国家重点实验室开放课题(SKLSDE-2011KF-08);江苏省自然科学基金资助项目(BK2010313;BK2011442)

摘　　要：为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.In order to obtain more properties and representations of basic R0-algebras （in short, BRo-algebras）, in this paper, two new characterizations of commutative BR0-algebras are given in terms of implication operators. It is proved that commutative BR0-algebras and bounded commuta- tive BCK-algebras are equivalent. It is also proved that commutative BR0-algebras satisfying the Heyting property （or, HP condition） are equivalent to regular Heyting type FI-algebras （in short, HFI-algebras）.

关 键 词：可换BR0代数 有界可换BCK代数 正则HFI代数 

分 类 号：O141.1[理学—数学]