Erratum: Conjunctions, disjunctions, and Bell-type inequalities in orthoalgebras (Q1303402): Difference between revisions

[Erratum to the author's paper, ibid. 35, No. 11, 2353-2363 (1996; Zbl 0868.03027).] The published version of Theorem 3 does not hold true in general. The mistake in the proof of this theorem consists in unjustified identification of elements \(\widetilde a\), \(\widetilde b\) that appear in the Mackey decomposition of a pair \((a,b)\) with different, in general, elements \(\widetilde a^*\), \(\widetilde b^*\) that appear in Mackey decompositions of pairs \((a,c)\) and \((a,d)\) when \(c\neq b\) and \(d\neq a\). The correct version of Theorem 3 is as follows: Theorem 3. Let \(L\) be an orthoalgebra with the UMD property and let \(a_1 Ca_2 Ca_3\cdots a_n Ca_1\), i.e., \(a_1,a_2,\dots, a_n\) be ``circularly compatible'' elements of \(L\). If \(p\) is a state which is dispersion-free on a pair \((a_i, a_{i+1})\), then the following generalized Bell-type inequality holds: \[ \sum_{\substack{ k=1,\dots,n\\ k\neq i}} S_p(a_k, a_{k+1})\geq S_p(a_i, a_{i+1}),\tag{7} \] where we put \(a_{n+1}= a_1\).