Kripke style semantic for the logic of two valued-states (Q682655): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-017-3400-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2611841842
@@ Property / OpenAlex ID: W2611841842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4046084
@@ Property / cites work: Q4046084 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+On States on MV-algebras and their Applications
@@ Property / cites work: On States on MV-algebras and their Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Equational characterization for two-valued states in orthomodular quantum systems
+Normal rank
@@ Property / cites work @@
+Baer ∗ -Semigroups
@@ Property / cites work: Baer ∗ -Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Two-valued states on Baer \(^\ast\)-semigroups
@@ Property / cites work: Two-valued states on Baer \(^\ast\)-semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Logical approach for two-valued states on quantum systems
+Normal rank
@@ Property / cites work @@
+Q3881378
@@ Property / cites work: Q3881378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551052
@@ Property / cites work: Q5551052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+On the set representation of an orthomodular poset
+Normal rank
@@ Property / cites work @@
+Q5623714
@@ Property / cites work: Q5623714 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke-style Semantics of Orthomodular Logics
@@ Property / cites work: Kripke-style Semantics of Orthomodular Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032243
@@ Property / cites work: Q4032243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular structures as quantum logics. Transl. from the Slovak
+Normal rank
@@ Property / cites work @@
+Sharp and unsharp observables on \(\sigma \)-MV algebras -- a comparison with the Hilbert space approach
+Normal rank
@@ Property / cites work @@
+Weak dispersion-free states and the hidden variables hypothesis
+Normal rank
@@ Property / cites work @@
+Q4788820
@@ Property / cites work: Q4788820 / rank @@
+Normal rank
@@ Property / cites work @@
+Effect algebraic extensions of generalized effect algebras and two-valued states
+Normal rank
@@ Property / cites work @@
+Boolean orthoposets and two-valued states on them
@@ Property / cites work: Boolean orthoposets and two-valued states on them / rank @@
+Normal rank
@@ Property / cites work @@
+Partially additive measures and set representations of orthoposets
+Normal rank
@@ Property / cites work @@
+Partially additive states on orthomodular posets
@@ Property / cites work: Partially additive states on orthomodular posets / rank @@
+Normal rank