Publication:2743648

DOI<341::AID-MALQ341>3.0.CO;2-4 10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4zbMath0988.03095MaRDI QIDQ2743648

Yutaka Miyazaki

Publication date: 5 July 2002

zbMATH Keywords

orthomodular lattice; Kripke-style semantics; orthomodular logic

Mathematics Subject Classification ID

06C15: Complemented lattices, orthocomplemented lattices and posets

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

03G12: Quantum logic

Related Items

Modal-type orthomodular logic