Skip to main content
Log in

Propositions and orthocomplementation in quantum logic

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

We briefly analyze two partial order relations that are usually introduced in quantum logic by making use of the concepts of “yes-no experiment” and of “preparation” as fundamental. We show that two distinct posetsE andL can be defined, the latter being identifiable with the lattice of quantum logic. We consider the posetE and find that it contains a subsetE 0 which can easily be orthocomplemented. These results are used, together with suitable assumptions, in order to show that an Orthocomplementation inL can be deduced by the Orthocomplementation defined inE 0, and also to give a rule to find the orthocomplement of any element ofL.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Beltrametti, E. G., and Cassinelli, G. (1976). “Logical and Mathematical Structures of Quantum Mechanics. ”Rivista del Nuovo Cimento,6, 321.

    Google Scholar 

  • Beltrametti, E. G., and Cassinelli, G. (1979). “Properties of States in Quantum Logic,” inProblems in Foundations of Physics, Proceedings of the International School of Physics “Enrico Fermi.” North Holland, Amsterdam.

    Google Scholar 

  • Bourbaki, N. (1966).Eléments de Mathématique, Théorie des Ensembles, Chap. 2. Hermann, Paris.

    Google Scholar 

  • Jauch, J. M. (1968).Foundations of Quantum Mechanics. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Mackey, G. W. (1963).The Mathematical Foundations of Quantum Mechanics. W. A. Benjamin, New York.

    Google Scholar 

  • Maczynski, M. J. (1972). “Hubert Space Formalism of Quantum Mechanics without the Hubert Space Axiom,”Reports in Mathematical Physics,3, 209.

    Google Scholar 

  • Mielnik, B. (1969). “Theory of Filters,”Communications in Mathematical Physics,15, 1.

    Google Scholar 

  • Mielnik, B. (1974). “Generalized Quantum Mechanics,”Communications in Mathematical Physics,37, 221.

    Google Scholar 

  • Mielnik, B. (1976). “Quantum Logic: Is It Necessarily Orthocomplemented?” inQuantum Mechanics, Determinism, Causality and Particles, Ed. M. Flato et al. Reidel, Dordrecht.

    Google Scholar 

  • Piron, C. (1964). “Axiomatique Quantique,”Helvetica Physica Ada,37, 439.

    Google Scholar 

  • Piron, C. (1976).Foundations of Quantum Physics. W. A. Benjamin, Reading, Massachusetts.

    Google Scholar 

  • Pool, J. C. T. (1968a). “Baer*-Semigroups and the Logic of Quantum Mechanics,”Communications in Mathematical Physics,9, 118.

    Google Scholar 

  • Pool, J. C. T. (1968b). “Semimodularity and the Logic of Quantum Mechanics,”Communications in Mathematical Physics,9, 212.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Research sponsored by C.N.R. (Italy).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Garola, C. Propositions and orthocomplementation in quantum logic. Int J Theor Phys 19, 369–378 (1980). https://doi.org/10.1007/BF00671989

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00671989

Keywords

Navigation