E. P. Specker
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
The logic of propositions which are not simultaneously decidable
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer