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.
The structure of the propositional calculus of a physical theory
Franz Kamber
pp. 221-245
Not implemented yet !