A presentation of quantum logic based on an and then connective

Daniel Lehmann*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

Abstract

When a physicist performs a quantic measurement, new information about the system at hand is gathered. This article 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 article. All properties satisfied by Finchs; operation in modular lattices are valid in Quantum Logic. It is not known whether all properties of Quantum Logic are satisfied by Finchs; operation in modular lattices. Non-commutative, non-associative algebraic structures generalizing Boolean algebras are defined, ideals are characterized and a homomorphism theorem is proved.

Original languageEnglish
Pages (from-to)59-76
Number of pages18
JournalJournal of Logic and Computation
Volume18
Issue number1
DOIs
StatePublished - Feb 2008

Keywords

  • Generalized Boolean algebras
  • Measurement algebras
  • Modular lattices
  • Non-associative Boolean algebras
  • Non-commutative Boolean algebras
  • Orthomodular lattices
  • Quantum Logic
  • Quantum measurements

Fingerprint

Dive into the research topics of 'A presentation of quantum logic based on an and then connective'. Together they form a unique fingerprint.

Cite this