论文信息 - Connections among quantum logics. Part 2. Quantum event logics

Connections among quantum logics. Part 2. Quantum event logics

This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I.

Gary M. Hardegree | Patricia F. Lock

[1] R. Lock,et al. Tensor product of generalized sample spaces , 1984 .

[2] J. C. Abbott. Semi-boolean algebra , 1967 .

[3] David J. Foulis,et al. What are Quantum Logics and What Ought They to be , 1981 .

[4] J. Neumann. Mathematical Foundations of Quantum Mechanics , 1955 .

[5] J. Neumann,et al. The Logic of Quantum Mechanics , 1936 .

[6] Michael Danos,et al. The Mathematical Foundations of Quantum Mechanics , 1964 .

[7] Bas C. van Fraassen,et al. The Labyrinth of Quantum Logics , 1974 .

[8] Gary M. Hardegree,et al. Connections among quantum logics. Part 1. Quantum propositional logics , 1985 .