Advertisement

Sharp quantum logics

  • M. Dalla Chiara
  • R. Giuntini
  • R. Greechie
Part of the Trends in Logic book series (TREN, volume 22)

Abstract

We will first study two interesting examples of logics that represent a natural logical abstraction from the class of all Hilbert lattices. These are represented respectively by orthomodular quantum logic (OQL) and by the weaker orthologic (OL), which for a long time has been also termed minimal quantum logic. In fact, the name “minimal quantum logic” appears today quite inappropriate for two reasons. First, a number of, in a sense, weaker forms of quantum logic have recently attracted much attention; and second, the models for the “minimal quantum logic” do not provide for the possibility of an adequate modeling of the generalized probabilities that are induced by states of QT. However these probabilities do not usually play a fundamental role in the logical developments that follow. And the “minimal quantum logic” provides a “floor” for the other logics, so we include it. In the following we will use QL as an abbreviation for either OL or OQL.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2004

Authors and Affiliations

  • M. Dalla Chiara
    • 1
  • R. Giuntini
    • 2
  • R. Greechie
    • 3
  1. 1.University of FlorenceItaly
  2. 2.University of CagliariItaly
  3. 3.Louisiana Tech UniversityRustonUSA

Personalised recommendations