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

In this paper we consider constructive function triples on the real numbers $\mathbb{R}$ and on (not necessarily commutative) integral domains D which permit the construction of a multitude of d-algebras via these constructive function triples. At the same time these constructions permit one to consider various conditions on these d-algebras for subsets of solutions of various equations, thereby producing geometric problems and interesting visualizations of some of these subsets of solutions. In particular, one may consider what notions such as "locally BCK" ought to mean, certainly in the setting provided below.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.275-278
• /
• 1994

In 1966, Iseki [4] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. The ideal theory plays an important role in studying BCK/BCI-algebras. In this paper we study decompositions of ideals in BCI-algebras, and give a characterization of closed ideals. Also we define ignorable ideals in BCI-algebras, and investigates its properties.(omitted)

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

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.11-14
• /
• 1995

In [1], Alo and Deeba introduced the uniformity of a BCK-algebra by using ideals. Meng [5] introduced the concept of dual ideals in BCK-algebras. We note that the concept of dual ideals is not a dual concept of ideals. In this paper, by using dual ideals, we consider the uniformity of a BCK-algebra.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.11-24
• /
• 2013

The notion of intersectional soft sets is introduced, and several examples are given. The application of intersectional soft sets to BCK/BCI-algebras is discussed.

• Honam Mathematical Journal
• /
• v.30 no.1
• /
• pp.65-74
• /
• 2008

The notion of vague quick ideals of BCK/BCI-algebras is introduced, and several properties are investigated. Relations between a vague ideal, a vague BCK/BCI-algebra and a vague quick ideal are provided. A condition for a vague quick ideal to be a vague ideal is given.

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

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.51-62
• /
• 2015

Pseudo-ŁBCK-algebras are commutative pseudo-BCK-algebras with relative cancellation property. In the paper, we introduce fuzzy prime ideals in pseudo-ŁBCK-algebras and investigate some of their properties. We also give various characterizations of prime ideals and fuzzy prime ideals. Moreover, we present conditions for a pseudo-ŁBCKalgebra to be a pseudo-ŁBCK-chain.

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

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