1. Finch, P. D., ?Quantum Logic as an Implication Algebra?, Bulletin of the Australian Mathematical Society 2 (1970), 101?106.
2. Greechie, R. J. and Gudder, S. P., ?Is a Quantum Logic a Logic??, Helvetica Physica Acta 44 (1971), 238?240.
3. Greechie, R. J. and Gudder, S. P., ?Quantum Logics?, in C. A. Hooker (ed.), Contemporary Research in the Foundations and Philosophy of Quantum Theory, D. Reidel, Dordrecht, 1973.
4. Herman, L., Marsden, E., and Piziak, R., ?Implication Connectives in Orthomodular Lattices?, Notre Dame Journal of Formal Logic (1974), in press.
5. Holland, S. P., ?The Current Interest in Orthomodular Lattices?, in J. C. Abbott (ed.), Trends in Lattice Theory, Van Nostrand Reinhold, New York, 1970.