Advanced Kripke frame for quantum logic

DOI10.1007/978-3-662-57669-4_14OpenAlexW2810146034MaRDI QIDQ1799288

Tomoaki Kawano

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_14

zbMATH Keywords

orthomodular latticequantum logicKripke framedynamic quantum logic

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12)

Related Items (2)

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Sequent Calculi for Orthologic with Strict Implication

This page was built for publication: Advanced Kripke frame for quantum logic