• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.645-651
• /
• 2012

Based on a sub-BCK-algebra K of a BCI-algebra X, the notions of N-subalgebras and N-ideals of X are introduced, and their relations/properties are investigated.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.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.

• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.135-144
• /
• 2012

falling subalgebra/ideal of a BCK/BCI-algebra is introduced. Relations between falling subalgebras and falling ideals are given. Relations between fuzzy subalgebras/ideals and falling sub-algebras/ideals are provided. A characterization of a falling ideal is established.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.623-635
• /
• 2014

Classications of (${\alpha},{\beta}$)-fuzzy subalgebras of BCK/BCI-algebras are discussed. Relations between (${\in},{\in}{\vee}q$)-fuzzy subalgebras and ($q,{\in}{\vee}q$)-fuzzy subalgebras are established. Given special sets, so called t-q-set and t-${\in}{\vee}q$-set, conditions for the t-q-set and t-${\in}{\vee}q$-set to be subalgebras are considered. The notions of $({\in},q)^{max}$-fuzzy subalgebra, $(q,{\in})^{max}$-fuzzy subalgebra and $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are introduced. Conditions for a fuzzy set to be an $({\in},q)^{max}$-fuzzy subalgebra, a $(q,{\in})^{max}$-fuzzy subalgebra and a $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are considered.