Journal of Philosophical Logic 20 (4):411 - 433 (1991)

In the standard approach to quantum mechanics, closed subspaces of a Hilbert space represent propositions. In the operational approach, closed subspaces are replaced by effects that represent a mathematical counterpart for properties which can be measured in a physical system. Effects are a proper generalization of closed subspaces. Effects determine a Brouwer-Zadeh poset which is not a lattice. However, such a poset can be embedded in a complete Brouwer-Zadeh lattice. From an intuitive point of view, one can say that these structures represent a natural logical abstraction from the structure of propositions of a quantum system. The logic that arises in this way is Brouwer-Zadeh logic. This paper shows that such a logic can be characterized by means of an algebraic and a Kripkean semantics. Finally, a strong completeness theorem for BZL is proved
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00249437
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,512
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Quantum MV Algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.

Add more citations

Similar books and articles

On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Brouwer, as Never Read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
Brouwer's Equivalence Between Virtual and Inextensible Order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
On Brouwer's Definition of Unextendable Order.Carl J. Posy - 1980 - History and Philosophy of Logic 1 (1-2):139-149.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.
"Is", Semantical Games, and Semantical Relativity.Jaakko Hintikka - 1979 - Journal of Philosophical Logic 8 (1):433 - 468.


Added to PP index

Total views
16 ( #669,050 of 2,520,893 )

Recent downloads (6 months)
3 ( #205,180 of 2,520,893 )

How can I increase my downloads?


My notes