zbMath0938.03095MaRDI QIDQ4703140
Satoko Titani
Publication date: 14 December 1999
zbMATH Keywords
orthomodular lattice; quantum logic; strong implication; quantum set theory
Mathematics Subject Classification ID
03E70: Nonclassical and second-order set theories
03G12: Quantum logic