Bibliography
BirkhoffG., and vonNeumannJ., ‘The Logic of Quantum Mechanics’,Ann. of Math. 37 (1936), 823–43.
ChurchA.Introduction to Mathematical Logic, Vol. 1, Princeton University Press, Princeton, N.J., 1956.
HenkinL., ‘An Algebraic Characterization of Quantifiers’,Fund. Math. 37 (1950), 63–74.
MackeyG. W.,Mathematical Foundations of Quantum Mechanics, Benjamin, New York, 1963.
Marsden, E. L., ‘A Note on Implicative Models’,Notre Dame Journal of Formal Logic, to appear.
RandallC. H. and FoulisD. J., ‘An Approach to Empirical Logic’,Amer. Math. Monthly 77 (1970), 363–74.
VaradarajanV. S.,Geometry and Quantum Theory, Vol. 1, Van Nostrand, Princeton, N.J., 1968.
vonNeumannJ.,Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, N.J., 1955.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marsden, E.L. Compatible elements in implicative models. J Philos Logic 1, 156–161 (1972). https://doi.org/10.1007/BF00650494
Issue Date:
DOI: https://doi.org/10.1007/BF00650494