• Communications of the Korean Mathematical Society
• /
• v.14 no.1
• /
• pp.47-55
• /
• 1999

This paper continues the investigations of implicative semigroups and of their ordered filters which were started in general case by M.W. Chan and K. P. Shum [3]. In particular, the notion of an implicative ordered filter of an implicative semigroup is introduced. We state some equivalent conditions for an ordered filter to be an implicative ordered filter and obtain the so called extension property for implicative ordered filters.

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

• Honam Mathematical Journal
• /
• v.29 no.2
• /
• pp.279-288
• /
• 2007

The notion of fuzzy n-fold implicative ordered filters in implicative semigroups is introduced, and related properties are investigated. Relations between fuzzy ordered filters and fuzzy n-fold implicative ordered filters are provided. Characterizations of a fuzzy n-fold implicative ordered filter are given, and an extension property for a fuzzy n-fold implicative ordered filter is obtained.

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.9-14
• /
• 2007

In this paper, we introduce more extended special sets in implicative semigroups, and obtain some relations with ordered filters.

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

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.