Systems of quantum logic (Q361857)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Systems of quantum logic |
scientific article |
Statements
Systems of quantum logic (English)
0 references
19 August 2013
0 references
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)\).
0 references
quantum logic
0 references
ortholattice
0 references
orthomodular lattice
0 references
implication
0 references
modality
0 references
Sasaki arrow
0 references