Quantum mechanics is said to be the most successful physical theory ever. It
is, in fact, unique in its success when applied to concrete physical problems.
On the other hand, however, it raises profound conceptual problems which are
equally unprecedented. Quantum logic, the topic of this volume, can be
described as an attempt to cast light on the puzzle of quantum mechanics from
the point of view of logic. Since its inception in the famous 1936 paper by
Birkhoff and von Neumann entitled "The logic of quantum mechanics", quantum
logic has undergone an enormous development. Various schools of thought and
approaches have emerged and there are a variety of technical results. The
chapters of this volume constitute a comprehensive presentation of the main
schools, approaches and results in the field of quantum logic.
Table Of Contents:
The Birkhoff–von Neumann Concept of Quantum Logic
Is Quantum Logic a Logic?
Is Logic Empirical?
Quantum Logic and Nonclassical Logics
Gentzen Methods in Quantum Logic
Categorical Quantum Mechanics
Extending Classical Logic for Reasoning about Quantum Systems 325
Operational Quantum Logic: A Survey and Analysis
Contexts in Quantum, Classical and Partition Logic
Nonmonotonicity and Holicity in Quantum Logic
A Quantum Logic of Down Below
A Completeness Theorem of Quantum Set Theory