Displaying similar documents to “Ideals of BCI-algebras and their Properties”

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.