Quantum Logic with Implication

Title	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.