Kripke-style Semantics of Orthomodular Logics

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4" /><341::AID-MALQ341>3.0.CO;2-4 10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4zbMath0988.03095OpenAlexW1967047492MaRDI QIDQ2743648

Yutaka Miyazaki

Publication date: 5 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200108)47:3<341::aid-malq341>3.0.co;2-4

zbMATH Keywords

orthomodular latticeKripke-style semanticsorthomodular logic

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)

Related Items (2)

Kripke style semantic for the logic of two valued-states ⋮ Modal-type orthomodular logic

This page was built for publication: Kripke-style Semantics of Orthomodular Logics