Systems of quantum logic

DOI10.1007/S11225-011-9364-9zbMath1298.03116OpenAlexW2002188593MaRDI QIDQ361857

Heiji Kodera, Hiroshi Aoyama, Satoko Titani

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

modalityorthomodular latticequantum logicimplicationortholatticeSasaki arrow

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• A lattice-valued set theory
• Strong completeness of lattice-valued logic
• Two Applications of Logic to Mathematics

This page was built for publication: Systems of quantum logic