Displaying similar documents to “Strong implicative hyper K -ideals.”

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

On some ideal related to the ideal (v 0 )

Piotr Kalemba (2015)

Open Mathematics

Similarity:

The ideal (v0) is known in the literature and is naturally linked to the structure [ω]ω. We consider some natural counterpart of the ideal (v0) related in an analogous way to the structure Dense(ℚ) and investigate its combinatorial properties. By the use of the notion of ideal type we prove that under CH this ideal is isomorphic to (v0).