Completeness of quantum logic

Journal of Philosophical Logic 5 (2):237 - 280 (1976)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,360
External links
  • Through your library Configure
    References found in this work BETA

    No references found.

    Citations of this work BETA
    Peter Mittelstaedt (2012). Are the Laws of Quantum Logic Laws of Nature? Journal for General Philosophy of Science 43 (2):215-222.
    Similar books and articles

    Monthly downloads

    Added to index


    Total downloads

    7 ( #149,801 of 1,089,153 )

    Recent downloads (6 months)

    1 ( #69,735 of 1,089,153 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature

    Start a new thread
    There  are no threads in this forum
    Nothing in this forum yet.