Kripke style semantic for the logic of two valued-states

DOI10.1007/s10773-017-3400-0zbMath1387.81017OpenAlexW2611841842MaRDI QIDQ682655

Christian de Ronde, Hector Freytes, Graciela Domenech

Publication date: 5 February 2018

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-017-3400-0

zbMATH Keywords

Kripke framestwo-valued statesorthomodular logic

Mathematics Subject Classification ID

Semimodular lattices, geometric lattices (06C10) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational characterization for two-valued states in orthomodular quantum systems
• Logical approach for two-valued states on quantum systems
• Effect algebraic extensions of generalized effect algebras and two-valued states
• Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Boolean orthoposets and two-valued states on them
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Partially additive measures and set representations of orthoposets
• Two-valued states on Baer \(^\ast\)-semigroups
• The logic of quantum mechanics
• Kripke-style Semantics of Orthomodular Logics
• On the set representation of an orthomodular poset
• On States on MV-algebras and their Applications
• Partially additive states on orthomodular posets
• Weak dispersion-free states and the hidden variables hypothesis
• Baer ∗ -Semigroups

This page was built for publication: Kripke style semantic for the logic of two valued-states