• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.2
• /
• pp.207-214
• /
• 2019

The notions of a fuzzy simple BCK/BCI-algebra and an (${\in},{\in}{\vee}q$)-fuzzy simple BCK/BCI-algebra are introduced. Using these notions, characterizations of a simple BCK/BCI-algebra are considered.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.265-270
• /
• 1994

In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.11-24
• /
• 2013

The notion of intersectional soft sets is introduced, and several examples are given. The application of intersectional soft sets to BCK/BCI-algebras is discussed.

• East Asian mathematical journal
• /
• v.24 no.2
• /
• pp.187-190
• /
• 2008

As a generalization of BCI-algebras, the notion of pseudo-BCI algebras is introduced, and some of their properties are investigated. Characterizations of pseudo-BCI algebras are established. Some conditions for a pseudo-BCI algebra to be a pseudo-BCK algebra are given.

• Honam Mathematical Journal
• /
• v.30 no.1
• /
• pp.65-74
• /
• 2008

The notion of vague quick ideals of BCK/BCI-algebras is introduced, and several properties are investigated. Relations between a vague ideal, a vague BCK/BCI-algebra and a vague quick ideal are provided. A condition for a vague quick ideal to be a vague ideal is given.

• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.645-651
• /
• 2012

Based on a sub-BCK-algebra K of a BCI-algebra X, the notions of N-subalgebras and N-ideals of X are introduced, and their relations/properties are investigated.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.3
• /
• pp.279-286
• /
• 2007

Using t-norm T and s-norm S, we introduce the notion of intuitionistic (T, S)-normed fuzzy subalgebra in BCK/BCI-algebra, and some related properties are investigated.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.859-870
• /
• 2015

The notion of quasi-valuation maps based on a subalgebra and an ideal in BCK/BCI-algebras is introduced, and then several properties are investigated. Relations between a quasi-valuation map based on a subalgebra and a quasi-valuation map based on an ideal is established. In a BCI-algebra, a condition for a quasi-valuation map based on an ideal to be a quasi-valuation map based on a subalgebra is provided, and conditions for a real-valued function on a BCK/BCI-algebra to be a quasi-valuation map based on an ideal are discussed. Using the notion of a quasi-valuation map based on an ideal, (pseudo) metric spaces are constructed, and we show that the binary operation * in BCK-algebras is uniformly continuous.

• Journal of the Chungcheong Mathematical Society
• /
• v.9 no.1
• /
• pp.11-15
• /
• 1996

In this paper we prove that if Y is a poset of the form $\underline{1}{\oplus}Y^{\prime}$ for some subposet Y' then BCK(Y) is a ${\Gamma}$-BCK-algebra. Moreover, if X is a BCI-algebra then Hom(X, BCK(Y)) is a positive implicative ${\Gamma}$-BCK-algebra.