Advanced Kripke frame for quantum logic

DOI10.1007/978-3-662-57669-4_14MaRDI QIDQ1799288zbMATH OpenOpenAlexFDO

Authors 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

quantum logicorthomodular latticedynamic quantum logicKripke frame

Mathematics Subject Classification ID

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

Recommendations

• Kripke-style semantics of orthomodular logics
• Orthomodularity is not elementary
• scientific article; zbMATH DE number 4068866
• scientific article; zbMATH DE number 1377711
• On when a semantics is not a good semantics: the algebraisation of orthomodular logic

Cited in

(10)

• Modal-type orthomodular logic
• Extended quantum logic
• On when a semantics is not a good semantics: the algebraisation of orthomodular logic
• scientific article; zbMATH DE number 3997788 (Why is no real title available?)
• scientific article; zbMATH DE number 4068866 (Why is no real title available?)
• Kripke-style semantics of orthomodular logics
• Sequent Calculi for Orthologic with Strict Implication
• First-order frames for orthomodular quantum logic
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• Markov property in quantum logic: A reflection

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799288)