Abstract
We present Greechie diagrams of various quantumlogics with small state spaces (i.e., the set oftwo-valued states is empty, not unital, not separating,not full, resp.). We present the smallest known examples of such so-called Kochen-Specker typeconstructions.
Similar content being viewed by others
REFERENCES
Bub, J. (1996). Schütte's tautology and the Kochen-Specker theorem, Foundations of Physics, 26, 787–806.
Clavadetscher-See berger, E. (1983).:Eine partielle Prädikatenlogik, Dissertation, ETHZ-ürich, Zürich.
Kochen, S., and Specker, E. P. (1967). The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, 17, 59–87.
Peres, A. (1991). Two simple proofs of the Kochen-Specker theorem, Journal of Physics A: Mathematical and General, 24, L175–L178.
Pták, P., and Pulmannová, S. (1991). Orthomodular Structures as Quantum Logics, Kluwer, Dordrecht.
Schaller, M., and Svozil, K. (1994). Partition logics of automata. Nuovo Cimento, 109B, 167–176.
Svozil, K., and Tkadlec, J. (1996). Greechie diagrams, nonexistence of measures and Kochen-Specker-type constructions, Journal of Mathematical Physics, 37, 5380–5401.
Rights and permissions
About this article
Cite this article
Tkadlec, J. Greechie Diagrams of Small Quantum Logics with Small State Spaces. International Journal of Theoretical Physics 37, 203–209 (1998). https://doi.org/10.1023/A:1026646229896
Issue Date:
DOI: https://doi.org/10.1023/A:1026646229896