Binary quantum logic and generating semigroups

A refined definition of basic concepts for logic describing physical systems is proposed. Within the suggested formalism of generating semigroups the active logic of questions and passive logic of answers are introduced. The objects for which both logics are isomorphic are called self-adequate. It is shown that the assumption of self-adequacy implies that the object is either quantum or classical. The possibility of application of the theory to non-self-adequate objects is discussed.