摘要
为了得到基础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）.
出处
《扬州大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第1期1-4,37,共5页
Journal of Yangzhou University：Natural Science Edition
基金
国家重点实验室开放课题(SKLSDE-2011KF-08)
江苏省自然科学基金资助项目(BK2010313
BK2011442)
