References
- Amer. Math. Soc. Coll. Publ v.XXV Lattice Theory G. Birkhoff
- J. London Math. Soc. v.40 Pseudoresidual T. S. Blyth
- Semigroup Forum v.46 Homomorphisms of implicative semigroups M.W. Chan;K. P. Shum
- Foundations of Mathematics Logic H. B. Curry
- On ordered filters of implicative semigroups, to appear in Semigroup Forum Y. B. Jun;J. Meng;X. L. Xin
- Trans. Amer. Math. Soc. v.117 Implicative semilattices W. C. Nemitz