This document is unfortunately not available for download at the moment.
Clifford A. Hooker (1975) The logico-algebraic approach to quantum mechanics I: historical evolution, Dordrecht, Springer.
Mathematics as logical syntax
a method to formalize the language of a physical theory
Martin Strauss
pp. 45-52
Not implemented yet !