A Presentation of Quantum Logic Based on an and then Connective

Daniel Lehmann

Discussion Paper Series from The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem

Abstract: When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information. It presents Quantum Logic as a propositional logic under two connectives: negation and the and then operation that combines old and new information. The and then connective is neither commutative nor associative. Many properties of this logic are exhibited, and some small elegant subset is shown to imply all the properties considered. No independence or completeness result is claimed. Classical physical systems are exactly characterized by the commutativity, the associativity, or the monotonicity of the and then connective. Entailment is defined in this logic and can be proved to be a partial order. In orthomodular lattices, the operation proposed by Finch in [3] satisfies all the properties studied in this paper. All properties satisfied by Finch's operation in modular lattices are valid in Quantum Logic. It is not known whether all properties of Quantum Logic are satisfied by Finch's operation in modular lattices.

Keywords: Generalized Boolean Algebras; Non-associative Boolean Algebras; Non-commutative Boolean Algebras; Quantum Measurements; Measurement Algebras; Quantum Logic; Orthomodular lattices; Modular lattices (search for similar items in EconPapers)
Pages: 25 pages
Date: 2007-01
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://ratio.huji.ac.il/sites/default/files/publications/dp442.pdf (application/pdf)
Our link check indicates that this URL is bad, the error code is: 404 Not Found (http://ratio.huji.ac.il/sites/default/files/publications/dp442.pdf [302 Moved Temporarily]--> https://ratio.huji.ac.il/sites/default/files/publications/dp442.pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:huj:dispap:dp442

Access Statistics for this paper

More papers in Discussion Paper Series from The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem Contact information at EDIRC.
Bibliographic data for series maintained by Michael Simkin ().