• 대한수학회논문집
• /
• 제14권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.

• 대한수학회보
• /
• 제34권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].

• 호남수학학술지
• /
• 제29권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.

• 대한수학회논문집
• /
• 제22권1호
• /
• pp.9-14
• /
• 2007

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

• 대한수학회논문집
• /
• 제10권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.