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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.81-85
• /
• 1996

We introduce fuzzy ordered filter, fuzzy weakly implicative ordered filter and fuzzy implicative ordered filter of implicative commutative semigroups and prove and some results.

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

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