Partial quantum logics and Łukasiewicz’ quantum logic

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


In Chapter 5, we have considered examples of partial algebraic structures, where the basic operations are not always defined. How does one give a semantic characterization for the different forms of quantum logic corresponding, respectively, to the class of all effect algebras, of all orthoalgebras and of all orthomodular posets? We will call these logics: unsharp partial quantum logic (UPaQL), weak partial quantum logic (WPaQL) and strong partial quantum logic (SPaQL), respectively. By PaQL we will denote any instance of our three logics. Since PaQL as well as partial classical logic PaCL (studied in Chapter 13) are examples of partial logics, one could expect some natural semantic connections between the two different cases. However, we will see that the basic idea of the semantic characterization of PaQL is somewhat different with respect to the PaCL-semantics.


Effect Algebra Quantum Logic Canonical Model Logical Truth Double Negation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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