References
- G. Birkhoff, Lattice Theory, Amer. Math. Soc. Coll. Publ. 25, Providence (1967)
- T. S. Blyth, Pseudo-residuals in semigroups, J. London Math. Soc. 40 (1965), 441-454 https://doi.org/10.1112/jlms/s1-40.1.441
- M. W. Chan and K. P. Shum, Homomorphisms of implicative semigroups, Semigroup Forum 46 (1993), 7-15 https://doi.org/10.1007/BF02573537
- H. B. Curry, Foundations of Mathematical Logics, McGrow-Hill, New york, 1963
- Y. B. Jun, J. Meng and X. L. Xin, On ordered filters of implicative semigroup, Semigroup Forum 54 (1997), 75-82 https://doi.org/10.1007/BF02676588
- Y. B. Jun, A note on ordered filters of implicative semigroups, Bull. Korean Math. Soc. 34 (1997), no. 2, 185-191
- Y. B. Jun, Some results on ordered filters of implicative semigroup, Int. J. Math. & Math. Sci. 26 (2001), 731-735 https://doi.org/10.1155/S0161171201005579
- W. C. Nemitz, Implicative semilattices, Trans. Amer. Math. Soc. 117 (1965), 128-142 https://doi.org/10.2307/1994200