Systems of quantum logic

DOI10.1007/S11225-011-9364-9MaRDI QIDQ361857zbMATH OpenOpenAlexFDO

Authors Satoko Titani, Heiji Kodera, Hiroshi Aoyama

Publication date 19 August 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9364-9

zbMATH Keywords

implicationmodalityortholatticeorthomodular latticequantum logicSasaki arrow

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

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)\).

Recommendations

• An implicational logic for orthomodular lattices
• Logical approach for two-valued states on quantum systems
• scientific article; zbMATH DE number 1377709
• Quantum logic and linear logic
• Notes on automata theory based on quantum logic

Cites work

• A completeness theorem of quantum set theory
• A lattice-valued set theory
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• Strong completeness of lattice-valued logic
• Two Applications of Logic to Mathematics

Cited in

(9)

• A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic
• Orthomodular-valued models for quantum set theory
• scientific article; zbMATH DE number 1377709 (Why is no real title available?)
• A New Approach to Quantum Logic
• scientific article; zbMATH DE number 3997788 (Why is no real title available?)
• Logical approach for two-valued states on quantum systems
• scientific article; zbMATH DE number 2097001 (Why is no real title available?)
• scientific article; zbMATH DE number 764483 (Why is no real title available?)
• Intuitionistic quantum logic of an \(n\)-level system

This page was built for publication: Systems of quantum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q361857)