Kripke style semantic for the logic of two valued-states
type: Item
instance of: scholarly article
title: Kripke style semantic for the logic of two valued-states
zbMATH Open document ID: 1387.81017
author: H. Freytes
author: C. De Ronde
author: G. Domenech
published in: International Journal of Theoretical Physics
publication date: 2018-02-05T00:00:00Z
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 06C10
zbMATH DE Number: 6834017
zbMATH Keywords: orthomodular logic
zbMATH Keywords: two-valued states
zbMATH Keywords: Kripke frames
MaRDI profile type: Publication
full work available at URL: s10773-017-3400-0
OpenAlex ID: W2611841842
cites work: Q4046084
cites work: The logic of quantum mechanics
cites work: Reasoning in quantum theory. Sharp and unsharp quantum logics.
cites work: On States on MV-algebras and their Applications
cites work: Equational characterization for two-valued states in orthomodular quantum systems
cites work: Baer ∗ -Semigroups
cites work: Two-valued states on Baer \(^\ast\)-semigroups
cites work: Logical approach for two-valued states on quantum systems
cites work: Q3881378
cites work: Q5551052
cites work: Q4750696
cites work: On the set representation of an orthomodular poset
cites work: Q5623714
cites work: Kripke-style semantics of orthomodular logics
cites work: Q4032243
cites work: Q4100556
cites work: Orthomodular structures as quantum logics. Transl. from the Slovak
cites work: Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach
cites work: Weak dispersion-free states and the hidden variables hypothesis
cites work: Q4788820
cites work: Effect algebraic extensions of generalized effect algebras and two-valued states
cites work: Boolean orthoposets and two-valued states on them
cites work: Partially additive measures and set representations of orthoposets
cites work: Partially additive states on orthomodular posets
DOI: 10.1007/S10773-017-3400-0
description: scientific article; zbMATH DE number 6834017