TWO BASIC PURE-IMPLICATIONAL SYSTEMS--References

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