NORMAL IMPLICATIONS, BOUNDED POSETS, AND THE EXISTENCE OF MEETS--References

title reference	*Notre Dame Journal of Formal Logic* 22 (1979), 685-8 - Received September 2, 1974
[1]	Curry, H. B., *Foundations of Mathematical Logic*, McGraw-Hill, New York (1963).
[2]	Foulis, D. J. and C. H. Randall, "Operational statistics I," *Journal o f Mathematical Physics*, 13 (1972), 1667-75.
[3]	Herman, L., E. L. Marsden, and R. Piziak, "Implication connectives in orthomodular lattices," *Notre Dame Journal of Formal Logic* 16 (1975), 305-28.
[4]	Herman, L. and R. Piziak, "Modal propositional logic on an orthomodular basis I," *The Journal of Symbolic Logic*, 39 (1974), 478-88.
[5]	Mackey, G. W., *Mathematical Foundations of Quantum Mechanics*, Benjamin, New York (1963).
[6]	von Neuman, J. and G. Birkhoff, "The logic of quantum mechanics," *Annals of Mathematics* 37 (1936), pp. 823-843.
[7]	Piziak, R., *An Algebraic Generalization of Hilbert Space Geometry*, PhD dissertation, University of Massachusetts, Amherst (1969).
[8]	Segerberg, K., *An Essay in Classical Modal Logic,* Uppsala (1971).
[9]	Zeman, J. J., *Modal Logic: The Lewis Modal Systems*, The Clarendon Press, Oxford (1973).
[10]	Zeman, J. Jay, 'Quantum Logic with Implication', *Notre Dame Journal of Formal Logic* 20 (1979), 723-8.
[11]	Zeman, J. J., "Two basic pure-implicational systems," Notre Dame Journal of Formal Logic 20 (1979), pp. 674-684.