• Kyungpook Mathematical Journal
• /
• v.47 no.2
• /
• pp.283-294
• /
• 2007

By a near ${\lambda}$-lattice is meant an upper ${\lambda}$-semilattice where is defined a parti binary operation $x{\Lambda}y$ with respect to the induced order whenever $x$, $y$ has a common lower bound. Alternatively, a near ${\lambda}$-lattice can be described as an algebra with one ternary operation satisfying nine simple conditions. Hence, the class of near ${\lambda}$-lattices is a quasivariety. A ${\lambda}$-semilattice $\mathcal{A}=(A;{\vee})$ is said to have sectional (antitone) involutions if for each $a{\in}A$ there exists an (antitone) involution on [$a$, 1], where 1 is the greatest element of $\mathcal{A}$. If this antitone involution is a complementation, $\mathcal{A}$ is called an ortho ${\lambda}$-semilattice. We characterize these near ${\lambda}$-lattices by certain identities.

• The Pure and Applied Mathematics
• /
• v.4 no.2
• /
• pp.131-135
• /
• 1997

We give the relation between the semilattice congruence N and the set of prime ideals of the ordered $\Gamma$-semigroup M.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.185-191
• /
• 1997

The notions of implicative semigroup and ordered filter were introduced by M. W. Chan and K. pp. Shum [3]. The first is a generalization of implicative semilattice (see W. C. Nemitz [6] and T. S. Blyth [2]) and has a close relation with the implication in mathematical logic and set theoretic difference (see G. Birkhoff [1] and H. B. Curry [4]). For the general development of implicative semilattice theory the ordered filters play an important role, which is shown by W. C. Nemitz [6].

• Kyungpook Mathematical Journal
• /
• v.52 no.4
• /
• pp.483-494
• /
• 2012

In this paper we study properties of commutative BE-algebras and we give the construction of quotient (X/I; *, I) of a commutative BE-algebra X via an obstinate ideal I of X. We construct upper semilattice and prove that is a nearlattice. Finally we define and study commutative ideals in BE-algebras.

• Kyungpook Mathematical Journal
• /
• v.47 no.2
• /
• pp.227-237
• /
• 2007

We define weak distributive $n$-semilattices and $n$-lattices, using variants of the absorption law and those of the distributive law. From a weak distributive $n$-semilattice, we construct direct system of subalgebras which are weak distributive $n$-lattices and show that its direct limit is a reflection of the category $wDn$-SLatt of the weak distributive $n$-semilattices.

• The Pure and Applied Mathematics
• /
• v.14 no.3
• /
• pp.139-151
• /
• 2007

We introduce the concept of intuitionistic fuzzy semiprimality of a semigroup which is an extension of semiprimality in it. And we obtain a characterization of a semigroup that is a semilattice of simple semigroups in terms of intuitionistic fuzzy semiprime interior ideals.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.409-419
• /
• 2015

The concept of Cayley-symmetric semigroups is introduced, and several equivalent conditions of a Cayley-symmetric semigroup are given so that an open problem proposed by Zhu [19] is resolved generally. Furthermore, it is proved that a strong semilattice of self-decomposable semigroups $S_{\alpha}$ is Cayley-symmetric if and only if each $S_{\alpha}$ is Cayley-symmetric. This enables us to present more Cayley-symmetric semi-groups, which would be non-regular. This result extends the main result of Wang [14], which stated that a regular semigroup is Cayley-symmetric if and only if it is a Clifford semigroup. In addition, we discuss Cayley-symmetry of Rees matrix semigroups over a semigroup or over a 0-semigroup.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.3
• /
• pp.207-219
• /
• 2008

We give some properties of intuitionistc fuzzy left, right, and two-sided ideals and bi-ideals of a semigroup. And we characterize a regular semigroup, a semigroup that is a lattice of left(right) simple semigroups, a semigroup that is a semilattice of left(right) groups and a semigroup that is a semilattice of groups in terms of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals.

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

In [1], Ahmad has given a characterization of prime dual ideals in bounded commutative BCK-algebras. The aime of this paper is to show that Theorem of [1] holds without the commutativity.

• Korean Journal of Mathematics
• /
• v.11 no.2
• /
• pp.147-153
• /
• 2003

We investigate some properties on right(resp. left) duo $po$-semigroups.