• The Mathematical Education
• /
• v.21 no.3
• /
• pp.13-14
• /
• 1983

(1) The direct product (equation omitted) $E_{I}$ of BCK-algebras $E_{I}$, (i=1, 2, 3, …, n), is a BCK-algebra. (2) Let E be a BCK-algebra and $A_1$, $A_1$, …, $A_{n}$ ideals of E. Define a mapping (equation omitted) by the rule f($\chi$)=( $A_1$$\chi$, $A_2$$\chi$, …, $A_{n}$$\chi$). Then f is a homomorphism.ism.ism.

• East Asian mathematical journal
• /
• v.21 no.1
• /
• pp.9-19
• /
• 2005

In this paper, some properties of intuitionistic fuzzy o-subalgebras of BCK-algebra with condition(S) 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.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.2
• /
• pp.131-139
• /
• 2009

As a generalization of a homomorphism of BCK-algebras, the notion of a semi-homomorphism of BCK-algebras is introduced, and its characterization is given. A condition for a semi-homomorphism to be a homomorphism is provided.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.243-250
• /
• 2003

The fuzzification of (Positive implicative) pseudo-ideals in a pseudo-BCK algebra is discussed, and several properties are investigated. Characterizations of a fuzzy pseudo-ideal are displayed.

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.577-584
• /
• 2008

The biideal structure in BCK/BCI-bialgebras is discussed. Relationships between sub-bialgebras, biideals and IC-ideals (and/or CI-ideals) are considered. Conditions for a biideal to be a sub-bialgebra are provided, and conditions for a subset to be a biideal (resp. IC-ideal, CI-ideal) are given.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.17-27
• /
• 2013

The notions of the extensions of bipolar fuzzy ideals, bipolar fuzzy prime ideals and bipolar fuzzy commutative ideals in BCK-algebras are introduced, and several properties are investigated.

• The Mathematical Education
• /
• v.22 no.1
• /
• pp.21-23
• /
• 1983

(1) Let f : XlongrightarrowX' be a homomorphism of BCK-algebras and let A,B be ideals of X and X' respectively such that f(A)⊂B. Then there is a unique homomorphism h : X/AlongrightarrowX'/B such that the diagram(equation omitted) commutes. (2) The class of all complexes of BCK-algebras becomes a category.

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

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