Displaying similar documents to “Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup.”

Positive Implicative Soju Ideals in BCK-Algebras

Xiao Long Xin, Rajab Ali Borzooei, Young Bae Jun (2019)

Bulletin of the Section of Logic

Similarity:

The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.