• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.243-246
• /
• 2003

In this paper we define a weak positive implicative hyperBCK-ideal of hyperBCK-algebra. Also we investigate that every positive implicative hyperBCK-algebra is a positive implicative hyperK-algebra and then we prove that every positive implicative hyperK-algebra is a weak positive implicative hyperk-algebra.

• 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.26 no.2
• /
• pp.183-196
• /
• 2011

Molodtsov [5] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to an implicative ideal of BCK-algebras. The notion of implicative soft ideals in BCK-algebras and implicative idealistic soft BCK-algebras is introduced, and related properties are investigated. Relations between implicative soft ideals and commutative (resp. positive implicative) soft ideals are discussed. Also, relations between implicative idealistic soft BCK-algebras and commutative (resp. positive implicative) idealistic soft BCK-algebras are 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.

• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.209-218
• /
• 2022

The notion of positive implicative MBJ-neutosophic ideal of BCK-algebras is defined and some properties of it are investigated. Relations between positive implicative MBJ-neutrosophic ideal and positive implicative ideal are discussed. In a BCK-algebra, the extension property for positive implicative MBJ-neutrosophic ideal is established.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.147-153
• /
• 2009

In this paper, we give some constructions of implicative/commutative d-algebras which are not BCK-algebras. This demonstrate that the notion of implicative/commutative d-algebras are indeed generalizations of the same in BCK-algebras.

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

• East Asian mathematical journal
• /
• v.26 no.3
• /
• pp.379-387
• /
• 2010

In this paper, we prove that the extension ideal of a fuzzy characteristic ideal of a positive implicative BCK-algebra is a fuzzy characteristic ideal. We introduce the notion of the extension of intuitionistic fuzzy ideal of BCK-algebras and some properties of fuzzy intuitionistic ideal extensions of BCK-algebra are investigated.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.369-383
• /
• 2007

This paper is devoted to the foldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzy n-fold implicative ideals and establish some relationships with various n-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras.

• Journal of applied mathematics & informatics
• /
• v.26 no.3_4
• /
• pp.707-720
• /
• 2008

Molodtsov [12] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to commutative ideals of BCK-algebras, The notions of commutative soft ideals and commutative idealistic soft BCK-algebras are introduced, and their basic properties are investigated. Examples to show that there is no relations between positive implicative idealistic soft BCK-algebras and commutative idealistic soft BCK-algebras are provided.