Systems of quantum logic (Q361857)

The paper follows the study of lattice-valued logic LL and quantum logic QL, as introduced in [\textit{S. Titani}, Arch. Math. Logic 38, No. 6, 395--421 (1999; Zbl 0936.03048); in: Handbook of quantum logic and quantum structures. Quantum logic. Amsterdam: Elsevier/North-Holland. 661--702 (2009; Zbl 1273.03151)]. This approach is based on the \textit{basic implication} \(a\to b=1\) iff \(a\leq b\), \(0\) otherwise. (This operation cannot be derived from the basic ortholattice operations.) As an alternative, the present paper defines a logic equivalent to QL, but using a lattice implication~\(*\) (in particular, the \textit{Sasaki implication} \(a*b=a'\lor(a\land b)\)) and the modal operator \(\square a=1\) iff \(a=1\), \(0\) otherwise. The correspondence to the previous approach is given by \(a\to b=\square(a*b)\), \(\square a=((a\to a)\to a)\).