J. Jay Zeman
Quantum Logic with Implication
References
Notre Dame Journal of Formal Logic Volume XX; Number 4, October 1979 NDJFAM | |
Received March 12, 19.73; Revised March 15, 1979 | |
* |
The author wishes to thank Robert Piziak for advice and comments in the course of research for this paper. |
[1] | Anderson, A. R., "Some open problems concerning the system E of entailment," Acta Philosophica Fennica, fasc. 16 (1963), pp. 7-18. |
[2] | Anderson, A. R., and N. Belnap, "The pure calculus of entailment," The Journal of Symbolic Logic, vol. 27 (1962), pp. 19-52. |
[3] | Birkhoff, G. and J. von Neuman, "The logic of quantum mechanics," Annals of Mathematics, vol. 37 (1936), pp. 823-843. |
[4] | Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, New York, 1963. |
[5] | Hacking, I., "What is strict implication?" The Journal of Symbolic Logic, vol. 26 (1963), pp. 51-71. |
[6] | Jauch, J. M., Foundations of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts, 1968. |
[7] | Kripke, S., "Semantical analysis of modal logic 1, normal propositional calculi," Zeitschrift fur mathematische Logik and Grundlagen der Mathematik, vol. 9 (1963), pp. 67-96. |
[8] | Mackey, G. W., Mathematical Foundations of Quantum Mechanics, W . A. Benjamen, New York, 1963. |
[9] | McKinsey, J. C. C. and A. Tarski, "Some theorems about the sentential calculi of Lewis and Heyting," The Journal of Symbolic Logic, vol. 13 (1948), pp. 1-15. |
[10] | Piziak, R., An Algebraic Generalization of Hilbert Space, PhD thesis, University of Massachusetts, 1969. |
[11] | Prior, A., "The theory of implication," Zeitschrift fur mathematische Logik and Grundlagen der Mathematik, vol. 9 (1963), pp. 1-6. |
[12] | Rosser, J. B., Logic for Mathematicians, McGraw-Hill, New York, 1953. |
[13] | Zeman, J. Jay, Modal Logic, Clarendon Press, Oxford, 1973. |
University of Florida
Gainesville, Florida