• Journal of applied mathematics & informatics
• /
• 제8권1호
• /
• pp.261-272
• /
• 2001

The intuitionistic fuzzification of a subalgebra in a BCK/BCI-algebra is considered, and related results are investigated. The notion of equivalence relations on the family of all intuitionistic fuzzy subalgebras of a BCK/BCI-algebra is introduced, and then some properties are discussed.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.795-807
• /
• 2009

The concepts of fuzzy pseudo ideals (resp. fuzzy pseudo p-ideals, associative fuzzy pseudo ideals, fuzzy pseudo q-ideals and fuzzy pseudo a-ideals) in a pseudo BCI-algebra are introduced, and related properties are investigated. Conditions for a fuzzy pseudo ideal to be a fuzzy pseudo p-ideal (resp. fuzzy pseudo q-ideal) are provided. A characterization and properties of an associative fuzzy pseudo ideal are given.

• 충청수학회지
• /
• 제20권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.

• 충청수학회지
• /
• 제9권1호
• /
• pp.1-9
• /
• 1996

In this paper, we consider the quotient algebra of BCI-semigroups, and obtain some isomorphism theorems of BCI-semigroups.

• 대한수학회논문집
• /
• 제17권3호
• /
• pp.403-407
• /
• 2002

In this note We discuss the Uniformity in BCI-algebras using Zhang's congruence relation.

• 충청수학회지
• /
• 제33권4호
• /
• pp.395-404
• /
• 2020

Based on a sub-BCK-algebra K of a BCI-algebra X, the notions of fuzzy (K, ε)-subalgebras, fuzzy (K, ε)-ideals and fuzzy commutative (K, ε)-ideals are introduced, and their relations/properties are investigated. Conditions for a fuzzy subalgebra/ideal to be a fuzzy (K, ε)-subalgebra/ideal are provided.

• Kyungpook Mathematical Journal
• /
• 제55권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.

• East Asian mathematical journal
• /
• 제23권1호
• /
• pp.75-82
• /
• 2007

In this paper we give a concrete computational method to characterize $S_3$-algebras.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.269-273
• /
• 1995

In this paper, we introduce the notion of $\lambda$-associative BCI-algebras, investigate important properties of such algebras, and discuss the structure of it.

• 대한수학회논문집
• /
• 제9권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.