Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
396108 | Information Sciences | 2007 | 10 Pages |
Abstract
This paper introduces the notion of BCI-implicative ideals and characterizes BCI-implicative ideals and closed BCI-implicative ideals. Using these characterizations, the connections between BCI-implicative ideals and other ideals in BCI/BCK-algebras are investigated. Additionally, the extension property of BCI-implicative ideals is established. Finally, the implicative BCI-algebras are completely described using BCI-implicative ideals. The above work generalizes the corresponding results in BCK-algebras.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Yong Lin Liu, Yang Xu, Jie Meng,