• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.491-500
• /
• 2006

In this paper, we define intuitionistic fuzzy subalgebras of B-algebras which is related to several classes of algebras such as BCI/BCK-algebras. We could obtain some important results for the homomorphic image and equivalence relations on IFS(X).

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.191-195
• /
• 2001

In this paper, a simple axiom system of lattice implication algebras is presented, it is convenient for verifying whether an algebra of type (2,2,2,1,0,0) becomes a lattice implication algebra.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.225-233
• /
• 2003

In this paper, we obtain Hon(P,- ) is an exact functor if P is a p-projective BCI-algebra.

• Honam Mathematical Journal
• /
• v.31 no.4
• /
• pp.489-495
• /
• 2009

Any BCK-ideal of a d-algebra can be decomposed into the union of some sets. The notion of a complicated d-algebra is introduced and some related properties are obtained.

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

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

• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.539-545
• /
• 2003

We present a set of equations that axiomatizes the class of all lattice implication algebras. The construction is different from the one given in [7], and the proof is direct: i.e., it does not rely on results from outside the realm of the lattice implication algebras, such as the theory of BCK-algebras. Then we show that the lattice H implication algebras are nothing more than the familiar Boolean algebras. Finally we obtain some negative results for the embedding of lattice implication algebras into Boolean algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.703-711
• /
• 2005

Using the belongs to relation ($\in$) and quasi-coincidence with relation (q) between fuzzy points and fuzzy sets, the concept of (${\alpha},\;{\beta}$)-fuzzy subalgebras where ${\alpha},\;{\beta}$ are any two of $\{\in,\;q,\;{\in}\;{\vee}\;q,\;{\in}\;{\wedge}\;q\}$ with $\;{\alpha}\;{\neq}\;{\in}\;{\wedge}\;q$ is introduced, and related properties are investigated.

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

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