1. J. C. Abbott,Orthoimplication algebras,Studia, Logica 35 (1976), pp. 173–77.
2. A. R. Anderson andN. D. Belnap,Entailment vol. I, Princeton University Press, Princeton 1975.
3. G. Birkhoff,Lattice Theory, American Mathematical Society Colloquium Publications, Providence 1967.
4. G. Birkhoff andJ. Von Neumann,The logic of quantum mechanics Annals of Mathematics 37 (1936), pp. 823–43.
5. T. S. Blyth andM. F. Janowitz,Residuation Theory, Pergamon Press, Oxford 1972.