Displaying similar documents to “On annihilators of BCK-algebras”

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.

Ideals of BCI-algebras and their Properties

Chenglong Wu, Yuzhong Ding (2008)

Formalized Mathematics

Similarity:

In this article three classes of ideals are discussed: associative ideals, commutative ideals, implicative ideals and positive implicative ideals, and their elementary properties. Some of their properties and the relationships between them have not been proven yet, and will be completed in the following article.MML identifier: BCIIDEAL, version: 7.8.10 4.99.1005