What is quantum logic? (Q793727)

The author shows that given a physical theory one can in a unique and natural way identify the inner language and the inner logic of theory. He says that the description of a physical system in terms of a physical theory contains three basic attributes: (i) a set of physical quantities (observables); (ii) a set of states of the considered system; (iii) a mapping which to any pair of observables and states associates a probability distribution. Author's attention is concerned with classical mechanics, standard quantum mechanics and operational quantum mechanics.