J. Jay Zeman


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.

University of Florida, 
Gainesville, Florida