In this paper, we apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and ...In this paper, we apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and some of their properties are discussed in an algebra-like approximation space. Furthermore, we investigate rough subalgebras and rough pseudo-filters in a pseudo-BCK-algebra approximation space. Finally, we give several verification programs of pseudo-BCK-algebras, pseudo-filters and subalgebra.展开更多
基金Supported by Ningbo Natural Science Foundation Project(Grant No.2013A610100)the Twelfth Five-Year Plan of Zhejiang Province Key Discipline-Computer Application Technology(Grant No.20121114)the Science Foundation Project of Ningbo University(Grant No.XYL13004)
文摘In this paper, we apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and some of their properties are discussed in an algebra-like approximation space. Furthermore, we investigate rough subalgebras and rough pseudo-filters in a pseudo-BCK-algebra approximation space. Finally, we give several verification programs of pseudo-BCK-algebras, pseudo-filters and subalgebra.
