• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.531-538
• /
• 1994

This paper is a continuation of [1] and [3]. In [3], the notion of BCI-G parts of BCI-algebras was introduced and various properties were investigated. In this paper, we consider the inverse of [3; Theorem 15], and define a KG-union BCI-algebra and investigate their properties.

• 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.20 no.1
• /
• pp.117-120
• /
• 1998

In this paper, we construct the uniformity of a BCI-algebra.

• Honam Mathematical Journal
• /
• v.32 no.2
• /
• pp.217-226
• /
• 2010

Using the Bu$\c{s}$neag's model ([1, 2, 3]), the notion of pseudo-valuations (valuations) on a ${\mathbf{BCK/BCI}}$-algebra is introduced, and a pseudo-metric is induced by a pseudo-valuation on ${\mathbf{BCK/BCI}}$-algebras. Based on the notion of (pseudo) valuation, we show that the binary operation in ${\mathbf{BCK/BCI}}$-algebras is uniformly continuous.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.199-204
• /
• 1997

To develope the theory of BCI-algebras, the idel theory plays an important role. The first author [4] introduced the notion of T-ideal in BCI-algebras. In this paper, we first construct a special set, called T-part, in a BCI-algebra X. We show that the T-part of X is a subalgebra of X. We give equivalent conditions that the T-part of X is an ideal. By using T-part, we provide an equivalent condition that every ideal is a T-ideal.

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

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.671-686
• /
• 2015

The notion of soft α-ideals and α-idealistic soft BCI-algebras is introduced and their basic properties are discussed. Relations between soft ideals and soft α-ideals of soft BCI-algebras are provided. Also idealistic soft BCI-algebras and α-idealistic soft BCI-algebras are being related. The restricted intersection, union, restricted union, restricted difference and "AND" operation of soft α-ideals and α-idealistic soft BCI-algebras are established. The characterizations of (fuzzy) α-ideals in BCI-algebras are given by using the concept of soft sets. Relations between fuzzy α-ideals and α-idealistic soft BCI-algebras are discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.205-209
• /
• 1997

Hong et al. [2] and Jun et al. [4] introduced the notion of k-nil radical in a BCI-algebra, and investigated its some properties. In this paper, we discuss the further properties on the k-nil radical. Let A be a subset of a BCI-algebra X. We show that the k-nil radical of A is the union of branches. We prove that if A is an ideal then the k-nil radical [A;k] is a p-ideal of X, and that if A is a subalgebra, then the k-nil radical [A;k] is a closed p-ideal, and hence a strong ideal of X.

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.409-416
• /
• 2006

The notion of Smarandache fresh and clean ideals is introduced, examples are given, and related properties are investigated. Relations between Q-Smarandache fresh ideals and Q-Smarandache clean ideals are given. Extension properties for Q-Smarandache fresh ideals and Q-Smarandache clean ideals are established.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.399-408
• /
• 2009

A bipolar fuzzy translation and a bipolar fuzzy S-extension of a bipolar fuzzy subalgebra in a BCK/BCI-algebra are introduced, and related properties are investigated.