[1] G. Birkhoff, Lattice theory, Amer. Math. Soc. Coll. Publ. Vol. XXV, Providence, 1967.
[2] T. S. Blyth, Pseudo-residuals in semigroups, J. London Math. Soc., 40 (1965), 441-454.
[3] M. W. Chan and K. P. Shum, Homomorphisms of implicative semigroups, Semigroup Forum,
46 (1993), 7-15.
[4] H. B. Curry, Foundations of mathematics logic, McGrow-Hill, New York, 1963.
[5] Y. B. Jun, Implicative ordered filters of implicative semigroups, Comm. Korean Math. Soc.,
14(1) (1999), 47-55.
[6] Y. B. Jun, Fuzzy implicative ordered filters in implicative semigroups, Southeast Asian. Bull.
Math., 26 (2003), 935-943.
[7] Y. B. Jun, Folding theory applied to implicative ordered filters of implicative semigroups,
Southeast Asian. Bull. Math., 31 (2007), 893-901.
[8] Y. B. Jun and K. H. Kim, Positive implicative ordered filters of implicative semigroups,
Internat. J. Math. Math. Sci., 23(12) (2000), 801-806.
[9] Y. B. Jun, Y. H. Kim and H. S. Kim, Fuzzy positive implicative ordered filters of implicative
semigroups, Internat. J. Math. Math. Sci., 32(5) (2002), 263-270.
[10] Y. B. Jun, J. Meng and X. L. Xin, On ordered filters of implicative semigroups, Semigroup
Forum, 54 (1997), 75-82.
[11] S. W. Kuresh, Y. B. Jun and W. P. Huang, Fuzzy ordered filters in implicative semigroups,
Chinese Quartely J. Math., 13(2) (1998), 53-57.
[12] J. Meng, Implicative commutative semigroups are equivalent to a class of BCK-algebras,
Semigroup Forum, 50 (1995), 89-96.
[13] W. C. Nemitz, Implicative semilattices, Trans. Amer. Math. Soc., 117 (1965), 128-142.
)