Handbook of Quantum Logic and Quantum Structures

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics" quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.

Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate.

The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject.

The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability.

- Written by eminent scholars in the field of logic
- A comprehensive presentation of the theory, approaches and results in the field of quantum logic
- Volume focuses on quantum structures

Foreword (A. Dvurecenskij)
Editorial Preface (K. Engesser, D. Gabbay and D. Lehmann)
New Quantum Structures (A. Dvurecenskij)
Quantum Structures and Fuzzy Set Theory (J. Pykasz)
Algebraic and Measure-theoretic Properties of Classes of Subspaces of an Inner Product Space (D. Buhagiar, E. Chetcuti and A. Dvurecenskij)
Quantum Probability (S. Gudder)
Orthomodular Lattices and Orthomodular Posets (P. Ptak and S. Pulmannova)
Quantum Logic and Partially Ordered Abelian Groups (D.J. Foulis and R.J. Greechie)
Operator Algebras (J. Hamhalter)
Constructions of Quantum Structures (M. Navara)
D-Posets (F. Chovanec and F. Kopka)
Wigner's Theorem and its Generalisations (G. Chevalier)
Hilbert Lattices (I. Stubbe and B. van Steirteghem)
Ortholattice Equations and Hilbert Lattices (R. Mayet)
Decomposition in QL (J. Harding)
Starting from the Convex Set of States (E. Beltrametti)
QL and Automata Theory (M. Ying)
QL and Quantum Computation (N.D. Megill and M. Pavicic)
Index