• The Pure and Applied Mathematics
• /
• v.18 no.1
• /
• pp.41-50
• /
• 2011

Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy commutative ideal of a BCK-algebra is introduced. Relations between falling fuzzy commutative ideals and falling fuzzy ideals are investigated.

• The Mathematical Education
• /
• v.19 no.2
• /
• pp.15-16
• /
• 1981

In this note, I studied about involution on BCK-algebras, and solved a problem posed by K. Iseki [4]. The problem is following: Is there a non-commutative BCK-algebra satisfying NN$\chi$=$\chi$\ulcorner.

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

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

• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.171-181
• /
• 2005

In this paper we investigate some more properties of of $S_3$-algebras. We also prove that the class of $S_3$-algebras is contained in the class of commutative BCI-algebras.

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

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

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

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1937-1956
• /
• 2013

The aim of this article is to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties. In order to provide these soft algebraic structures, the notion of union-soft sets is introduced, and its application to BCK/BCI-algebras is considered. The notions of union-soft algebras, union-soft (commutative) ideals and closed union-soft ideals are introduced, and related properties and relations are investigated. Conditions for a union-soft ideal to be closed are provided. Conditions for a union-soft ideal to be a union-soft commutative ideal are also provided. Characterizations of (closed) union-soft ideals and union-soft commutative ideals are established. Extension property for a union-soft commutative ideal is established.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.471-481
• /
• 2004

In this paper we introduce the notion of a (pre-)Coxeter algebra and show that a Coxeter algebra is equivalent to an abelian group all of whose elements have order 2, i.e., a Boolean group. Moreover, we prove that the class of Coxeter algebras and the class of B-algebras of odd order are Smarandache disjoint. Finally, we show that the class of pre-Coxeter algebras and the class of BCK-algebras are Smarandache disjoint.