Quantum Logic - Limitations

Limitations

Quantum logic derived from propositional logic provides a satisfactory foundation for a theory of reversible quantum processes. Examples of such processes are the covariance transformations relating two frames of reference, such as change of time parameter or the transformations of special relativity. Quantum logic also provides a satisfactory understanding of density matrices. Quantum logic can be stretched to account for some kinds of measurement processes corresponding to answering yes-no questions about the state of a quantum system. However, for more general kinds of measurement operations (that is quantum operations), a more complete theory of filtering processes is necessary. Such an approach is provided by the consistent histories formalism. On the other hand, quantum logics derived from MV-logic extend its range of applicability to irreversible quantum processes and/or 'open' quantum systems.

In any case, these quantum logic formalisms must be generalized in order to deal with super-geometry (which is needed to handle Fermi-fields) and non-commutative geometry (which is needed in string theory and quantum gravity theory). Both of these theories use a partial algebra with an "integral" or "trace". The elements of the partial algebra are not observables; instead the "trace" yields "greens functions" which generate scattering amplitudes. One thus obtains a local S-matrix theory (see D. Edwards).

Since around 1978 the Flato school (see F. Bayen) has been developing an alternative to the quantum logics approach called deformation quantization (see Weyl quantization).

In 2004, Prakash Panangaden described how to capture the kinematics of quantum causal evolution using System BV, a deep inference logic originally developed for use in structural proof theory. Alessio Guglielmi, Lutz Straßburger, and Richard Blute have also done work in this area.