Completeness of quantum logic

Journal of Philosophical Logic 5 (2):237 - 280 (1976)
  Copy   BIBTEX


This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic is complete and consistent with respect to the dialogic semantics. Since the dialoggame does not involve the 'excluded middle' the calculus represents a calculus of effective (intuitionistic) quantum logic. In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the 'excluded middle' the latter calculus is a model for the lattice of subspaces of a Hilbert space



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

59 (#265,116)

6 months
7 (#411,145)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Matrix-based logic for application in physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.
Are the Laws of Quantum Logic Laws of Nature?Peter Mittelstaedt - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):215-222.
On a Game-Theoretic Approach to a Scientific Language.E. -W. Stachow - 1978 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):18-40.
Objectivity vs. Locality in Quantum Physics.Ernst-Walther Stachow - 2010 - Foundations of Physics 40 (9-10):1450-1475.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references