J. Jay Zeman
TWO BASIC PURE-IMPLICATIONAL SYSTEMS--References
Notre Dame Journal of Formal Logic 22 (1979), 674-84; Received March 9, 1974 |
[1] Birkhoff, G. and J. von Neuman, "The logic of quantum mechanics," Annals of Mathematics 37 (1936), pp. 823-43. |
[2] Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, New York (1963). |
[3] Foulis, D. J. and C. H. Randall, "Operational statistics I," Journal of Mathematical Physics 13 (1972), pp. 1667-75. |
[4] Herman, L., E. L. Marsden, and R. Piziak, "Implication connectives in orthomodular lattices," Notre Dame Journal of Formal Logic 16 (1975), pp. 305-28. |
[5] Jauch, J. M., Foundations of Quantum Mechanics, Addison-Wesley Publishing Co., Reading, Massachusetts (1968). |
[6] Lewis, C. 1. and C. H. Langford, Symbolic Logic, Dover (1959). |
[7] Piziak, R., An Algebraic Generalization of Hilbert Space, PhD thesis, University of Massachusetts (1969). |
[8] Zeman, J. J., "Modality and the Peircean concept of belief," Semiotica 10 (1974), pp. 205-20. |
[9] Zeman, J. J., Modal Logic: The Lewis Modal Systems, The Clarendon Press, Oxford (1973). |
[10] Zeman, J. J., "Quantum logic with implication," Notre Dame Journal of Formal Logic 20 (1979), 723-8. |
[11] Hacking, I., "What is strict implication," The Journal of Symbolic Logic 26 (1963), pp. 51-7 1. |
[12] Segerberg, K., An Essay in Classical Modal Logic, Uppsala (1971). |
University of Florida
Gainesville, Florida