• Journal for History of Mathematics
• /
• v.20 no.1
• /
• pp.73-82
• /
• 2007

This paper delineates some history and developments of Wajsberg hoops, MV-algebras and commutative BCK-algebras. It also discuss some relations on them. Finally, it shows that every Wajsberg hoop is a commutative BCK-algebra.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.11-28
• /
• 2011

The notions of ($\overline{\in}$, $\overline{\in}{\vee}\overline{qk}$)-fuzzy BCK-filters and fuzzy BCK-filters with thresholds are introduced, and several related properties are investigated. Characterizations of such notions are displayed, and implication-based fuzzy BCK-filters are discussed.

• Journal of applied mathematics & informatics
• /
• v.5 no.1
• /
• pp.91-98
• /
• 1998

In [6] Y. B. Jun et al. fuzzified the concept of BCK-filters in BCK-algebrs and investigated its properties. In this paper we investigate further properties of fuzzy BCK-filters.

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

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.27-36
• /
• 2006

In this paper, we establish a generalization of fundamental homomorphism theorem in BCK-algebras by using fuzzy BCK-filters. We prove that if ${\mu}$. (resp. v) is a fuzzy BCK-filter of abounded BCK-algebra X (resp. Y), then $\frac{X{\times}Y}{{\mu}{\times}v}{\approxeq}X/{\mu}{\times}Y/v;\;and\;if\;{\mu}$ and F is a BCK-filter in a bounded BCK-algebra X such that $F/{\mu}$ is a BCK-filter of $X/{\mu}$, then $\frac{X/{\mu}}{F/{\mu}}{\approxeq}X/F$.

• Honam Mathematical Journal
• /
• v.31 no.2
• /
• pp.157-166
• /
• 2009

Using more general form of the notion of quasi-coincidence of a fuzzy point with a fuzzy subset, the notion of ($({\in},{\in}{\bigvee}q_{\kappa})$)-fuzzy BCK-filters is introduced, and related properties are investigated. Many characterizations of ($({\in},{\in}{\bigvee}q_{\kappa})$)-fuzzy BCK-filters are provided. Relations between an ($({\in},{\in}{\bigvee}q_{\kappa})$)-fuzzy BCK-filter and a fuzzy BCK-filter are established.

• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.333-339
• /
• 2009

In this manuscript, we introduce the concept of an atomic subset of the hyper BCK-algebra and study its properties. Also, we give a characterization of the atomic hyper BCK-algebra and show that there are exactly (up to isomorphism) n atomic hyper BCK-algebras H with |H| = n for any natural number n.

• The Pure and Applied Mathematics
• /
• v.16 no.1
• /
• pp.1-11
• /
• 2009

The notion of a BCK-algebra with supremum (briefly, sBCK-algebra) is introduced, and several examples are given. Related properties are investigated. We show that every sBCK-algebra with an additional condition has the condition (S). The notion of a dry ideal of an sBCK-algebra is introduced. Conditions for an sBCK-algerba to be an spBCK-algebra are provided. We show that every sBCK-algebra satisfying additional condition is a semi-Brouwerian algebra.

• East Asian mathematical journal
• /
• v.17 no.1
• /
• pp.115-128
• /
• 2001

We present old unsolved problems on BCK-sequences connected with convex congruences on BCK-algebras. We posed also some new problems on subalgebras.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.145-159
• /
• 2012

Several types of a bipolar fuzzy hyper BCK-ideal in a hyper BCK-algebra are introduced, and their relations are investigated.