Advertisement

Foundations of Physics

, Volume 30, Issue 10, pp 1801–1805 | Cite as

On the de Morgan Property of the Standard Brouwer–Zadeh Poset

  • G. Cattaneo
  • J. Hamhalter
  • P. Pták
Article
  • 48 Downloads

Abstract

The standard Brouwer–Zadeh poset Σ(H) is the poset of all effect operators on a Hilbert space H, naturally equipped with two types of orthocomplementation. In developing the theory, the question occured if (when) Σ(H) fulfils the de Morgan property with respect to both orthocomplementation operations. In Ref.3 the authors proved that it is the case provided dimH<∞, and they conjectured that if dimH=∞, then the answer is in the negative. In this note, we first give a somewhat simpler proof of the known result for dimH<∞, and then we give a proof to the conjecture: We show that if dimH=∞, then the de Morgan property is not valid.

Keywords

Hilbert Space Simple Proof Effect Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. 1.
    P. Busch, “Can quantum reality be considered sharp?,” in Recent Developments in Quantum Logic, P. Mittelstaedt and E. W. Stachow, eds. (Bibliographisches Institute, Mannheim, 1985), pp. 81-101.Google Scholar
  2. 2.
    G. Cattaneo, “Fuzzy, quantum logic II: The logics of unsharp quantum mechanics,” Int. J. Theor. Phys. 32, 1709-1734 (1993).Google Scholar
  3. 3.
    G. Cattaneo and R. Giuntini, “Some results on BZ structures from Hilbertian unsharp quantum physics,” Found. Phys. 25, 1147-1183 (1995).Google Scholar
  4. 4.
    G. Cattaneo and J. Hamhalter, “De Morgan property for effect algebras of von Neumann algebras,” preprint.Google Scholar
  5. 5.
    M. L. Dalla Chiara and R. Giuntini, “Paraconsistent quantum logics,” Found. Phys. 19, 891-904 (1989).Google Scholar
  6. 6.
    G. Cattaneo and G. Nisticó, “Brouwer-Zadeh posets and three valued Lukasiewicz posets,” Fuzzy Sets Syst. 33, 165-190 (1989).Google Scholar
  7. 7.
    S. Gudder, “Sharply dominating effect algebras,” Tatra Mountains Mathematical Publication 15, 23-31 (1998) (Special Issue: Quantum Structures II, Dedicated to Gudrun Kalmbach).Google Scholar

Copyright information

© Plenum Publishing Corporation 2000

Authors and Affiliations

  • G. Cattaneo
    • 1
  • J. Hamhalter
    • 2
  • P. Pták
    • 3
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità di Milano-BicoccaMilanoItaly;
  2. 2.Department of Mathematics, Faculty of Electrical EngineeringCzech Technical UniversityPraha 6Czech Republic;
  3. 3.Department of Mathematics, Faculty of Electrical EngineeringCzech Technical UniversityPraha 6Czech Republic;

Personalised recommendations