A note on ordered filters of implicative semigroups
Young-Bae Jun · Bulletin of the Korean Mathematical Society · 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].