Research within the operational approach to the logical foundations of
physics has recently pointed out a new perspective in which quantum
logic can be viewed as an intuitionistic logic with an additional
operator to capture its essential, i.e., non-distributive, properties.
In this paper we will offer an introduction to this approach. We will
focus further on why quantum logic has an inherent dynamic nature which
is captured in the meaning of “orthomodularity” and on how it motivates
physically the introduction of dynamic implication operators, each for
which a deduction theorem holds with respect to a dynamic conjunction.
As such we can offer a positive answer to the many who pondered about
whether quantum logic should really be called a logic. Doubts to answer
the question positively were in first instance due to the former lack of
an implication connective which satisfies the deduction theorem within