References
Martin Strauss
Foundations of quantum mechanics
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
Mathematics as logical syntax: a method to formalize the language of a physical theory
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer
The logic of complementarity and the foundation of quantum theory
1975
in: The logico-algebraic approach to quantum mechanics I, Dordrecht : Springer