The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes (Q1768730)

The authors study two adjoint operations on orthomodular lattices, the Sasaki hook \(\varphi_{a,*}(b)=a'\lor(a\land b)\) and the Sasaki projection \(\varphi_a^*(b)=a\land(a'\lor b)\). The Sasaki hook, as a ``quantum implicative connective'', has a fundamental dynamic nature and encodes a ``causal duality''. For a fixed antecedent \(a\), it assigns to a property \(b\) the weakest cause before the measurement of actuality of that property after the measurement. Causal duality provides a new dynamic interpretation of orthomodularity.