• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.185-198
• /
• 2002

We Consider the fuzzification of sub-implicative ideals in BCI-algebras, and investigate some related properties. We give conditions for a fuzzy ideal to be a fuzzy sub-implicative ideal. we show that (1) every fuzzy sub-implicative ideal is a fuzzy ideal, but the converse is not true, (2) every fuzzy sub-implicative ideal is a fuzzy positive implicative ideal, but the converse is not true, and (3) every fuzzy p-ideal is a fuzzy sub-implicative ideal, but the converse is not true. Using a family of sub-implicative ideals of a BCI-algebra, we establish a fuzzy sub-implicative ideal, and using a level set of a fuzzy set in a BCI-algebra, we give a characterization of a fuzzy sub-implicative ideal.

• Honam Mathematical Journal
• /
• v.25 no.1
• /
• pp.43-52
• /
• 2003

The fuzzification of positive implicative hyper K-ideals in hyper K-algebras is considered, Relations between fuzzy positive implicative hyper K-ideal and fuzzy hyper K-ideal are given. Characterizations of fuzzy positive implicative hyper K-ideals are provided. Using a family of positive implicative hyper K-ideals we make a fuzzy positive implicative hyper K-ideal. Using the notion of a fuzzy positive implicative hyper K-ideal, a weak hyper K-ideal is established.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.171-181
• /
• 2012

The notion of implicative vague ideals of BCK-algebras is defined, and several properties of it are investigated. Relations between a vague ideal and an implicative vague ideal is discussed. Characterizations of an implicative vague ideal are considered.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.209-218
• /
• 2022

The notion of positive implicative MBJ-neutosophic ideal of BCK-algebras is defined and some properties of it are investigated. Relations between positive implicative MBJ-neutrosophic ideal and positive implicative ideal are discussed. In a BCK-algebra, the extension property for positive implicative MBJ-neutrosophic ideal is established.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.51-62
• /
• 2002

The present paper gives a new construction of a quotient BCI(BCK)-algebra X/${\mu}$ by a fuzzy ideal ${\mu}$ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if ${\mu}$ is a fuzzy ideal (closed fuzzy ideal) of X, then X/${\mu}$ is a commutative (resp. positive implicative, implicative) BCK(BCI)-algebra if and only if It is a fuzzy commutative (resp. positive implicative, implicative) ideal of X Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra of X We show that if the period of every element in a BCI-algebra X is finite, then any fuzzy ideal of X is closed. Especiatly, in a well (resp. finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.377-402
• /
• 2007

After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of intuitionistic fuzzy sets introduced by Aranassov is one among them. In this paper, we apply the concept of an intuitionistic fuzzy set to implicative ideals in BCK-algebras. The notion of an intuitionistic fuzzy implicative ideal of a BCK-algebra is introduced, and some related properties are investigated. An extension property for intuitionistic fuzzy implicative ideals is established. Characterizations of an intuitionistic fuzzy implicative ideal are given. Conditions for an intuitionistic fuzzy ideal to be an intuitionistic fuzzy implicative ideal are given. Using a collection of implicative ideals, intuitionistic fuzzy implicative ideals are established.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.243-246
• /
• 2003

In this paper we define a weak positive implicative hyperBCK-ideal of hyperBCK-algebra. Also we investigate that every positive implicative hyperBCK-algebra is a positive implicative hyperK-algebra and then we prove that every positive implicative hyperK-algebra is a weak positive implicative hyperk-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.141-148
• /
• 2006

Fuzzy (weak) implicative hyper K-ideals are introduced, and relations among fuzzy weak implicative hyper K-ideals, fuzzy implicative hyper K-ideals and fuzzy hyper K-ideals are discussed.

• Honam Mathematical Journal
• /
• v.34 no.1
• /
• pp.125-133
• /
• 2012

Relations among falling fuzzy ideals, falling fuzzy implicative ideals, falling fuzzy positive implicative ideals and falling fuzzy commutative ideals are considered. Characterizations of falling fuzzy positive implicative ideals and other related ideals are discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.461-470
• /
• 2006

As a continuation of [4], characterizations of fuzzy implicative ideals are given. An extension property for fuzzy implicative ideals is established. We prove that the family of fuzzy implicative ideals is a completely distributive lattice. Using level subsets of a BCk-algebra X with respect to a fuzzy set $\={A}$ in X, we construct a fuzzy implicative ideal of X containing $\={A}$.