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

• Honam Mathematical Journal
• /
• v.40 no.3
• /
• pp.539-548
• /
• 2018

The notions of Smarandache (positive implicative, commutative, implicative) d-algebras, Smarandache subalgebras of Smarandache d-algebras and Smarandache BCK-ideals(d-ideals) of a Smarandache d-algebras are introduced. Examples are given, and several related properties are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.167-179
• /
• 2004

The notions of FSI-ideals and FSC-ideals in BCI-algebras are introduced. The characterization properties of FSI-ideals and FSC-ideals are obtained. We investigate the relations between FSI-ideals (resp. FSC-ideals) and other fuzzy ideals, between FSI-ideals (resp. FSC-ideals) and BCI-algebras, and show that a fuzzy subset of a BCI-algebra is an FSI-ideal if and only if it is both an FSC-ideal and a fuzzy BCI-positive implicative ideal.

• Honam Mathematical Journal
• /
• v.33 no.4
• /
• pp.535-546
• /
• 2011

Using $\mathcal{N}$-structures, the notion of an $\mathcal{N}$-ideal in a prelogic is introduced. Characterizations of an $\mathcal{N}$-ideal are discussed. Conditions for an $\mathcal{N}$-structure to be an $\mathcal{N}$-ideal are provided.

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

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

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

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.53-58
• /
• 1998

In this paper we study (positive) implicativeness of $BCK^{\star}(X^{\star})$, and investigate some properties of ideals in $BCK^{\star}(X)$.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.645-658
• /
• 2008

In this paper, left-regular maps on d-algebras are defined. These mappings show behaviors reminiscent of homomorphisms on d-algebras which have been studied elsewhere. In particular for these mappings kernels, annihilators and co-annihilators are defined and some of their properties are investigated, especially in the setting of positive implicative d-algebras.