Schütte's tautology and the Kochen-Specker theorem

Foundations of Physics

Volumn 26, Issue 6, 1996, Pages 787-806

  Bub, Jeffrey ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21344440626     PISSN: 00159018     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02058633     Document Type: Article

References (7)

1. S. Kochen and E. P. Specker, J. Math. Mech. 17, 59-87 (1967).
2. A. Peres, Quantum Theory: Concepts and Methods (Kluwer, Dordrecht, 1993), p. 197.
3. A. Peres, J. Phys. A: Math. Gen. 24, L175-L178 (1991),
4. and Quantum Theory: Concepts and Methods (Kluwer, Dordrecht, 1993), pp. 196-199.
5. E. Clavadetscher-Seeberger, Eine Partielle Praedikatenlogik (Eidgenossischen Technischen Hochschule, Zurich, 1983). See pp. 83-84.
6. K. Svozil, "A Constructivist manifesto for the physical sciences," in W. D. Schimanovich, E. Köhler, and F. Stadler (eds.), The Foundational Debate, Complexity and Constructivity in Mathematics and Physics (Kluwer, Dordrecht, 1995), pp. 65-88.
7. K. Svozil and J. Tkadlec, "Greechie diagrams, nonexistence of measures in quantum logics and Kochen-Specker type constructions," manuscript, 1996.