Systems of quantum logic

DOI10.1007/S11225-011-9364-9MaRDI QIDQ361857zbMATHOpenAlexFDO

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

modalityquantum logicimplicationorthomodular latticeortholatticeSasaki arrow

Mathematics Subject Classification ID

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

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

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

Cited in

(8)

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

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)