Simon Kochen
Logical structures arising in quantum theory
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
The calculus of partial propositional functions
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
The problem of hidden variables in quantum mechanics
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer