zbMATH — the first resource for mathematics

Compatible elements in implicative models. (English) Zbl 0259.02046

03B99 General logic
03C99 Model theory
03G05 Logical aspects of Boolean algebras
Full Text: DOI
[1] BirkhoffG., and vonNeumannJ., ?The Logic of Quantum Mechanics?,Ann. of Math. 37 (1936), 823-43. · Zbl 0015.14603
[2] ChurchA.Introduction to Mathematical Logic, Vol. 1, Princeton University Press, Princeton, N.J., 1956.
[3] HenkinL., ?An Algebraic Characterization of Quantifiers?,Fund. Math. 37 (1950), 63-74.
[4] MackeyG. W.,Mathematical Foundations of Quantum Mechanics, Benjamin, New York, 1963.
[5] Marsden, E. L., ?A Note on Implicative Models?,Notre Dame Journal of Formal Logic, to appear. · Zbl 0214.00804
[6] RandallC. H. and FoulisD. J., ?An Approach to Empirical Logic?,Amer. Math. Monthly 77 (1970), 363-74. · Zbl 0209.30302
[7] VaradarajanV. S.,Geometry and Quantum Theory, Vol. 1, Van Nostrand, Princeton, N.J., 1968.
[8] vonNeumannJ.,Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, N.J., 1955. · Zbl 0064.21503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.