Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Journal of Theoretical Physics

Bell-type inequalities in orthomodular lattices. I. Inequalities of order 2

Anatolij Dvurečenskij, Helmut Länger

Published Jul 1, 1995• 15 citations
Publisher
DOI
10.1007/bf00671363

Related papers

Bell-type inequalities in orthomodular lattices. II. Inequalities of higher order

Anatolij Dvurečenskij, Helmut Länger

International Journal of Theoretical Physics•Jul 1, 1995•8 citations

Bell-Type Inequalities and Orthomodular Lattices

Anatolij Dvurečenskij

Springer eBooks•Jan 1, 1999•0 citations

Quasivarieties of orthomodular lattices and Bell inequalities

Anna Bruna d'Andrea, Sylvia Pulmannová

Reports on Mathematical Physics•Apr 1, 1996•4 citations

Bell-type inequalities for bivariate maps on orthomodular lattices

Jarosław Pykacz, L’ubica Valášková, Oľga Nánásiová

Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements (s-maps), are studied. It is shown that the most simple of these inequalities, that involves only two propositions, is always satisfied, contrary to what happens in the case of traditional version of this inequality in which conjunctions of propositions are modeled by meets. Equivalence of various Bell-type inequalities formulated with the aid of bivariate maps on orthomodular lattices is studied. Our invesigations shed new light on the interpretation of various multivariate maps defined on orthomodular lattices already studied in the literature. The paper is concluded by showing the possibility of using s-maps and j-maps to represent counterfactual conjunctions and disjunctions of non-compatible propositions about quantum systems.

arXiv:1409.3744•Sep 12, 2014•0 citations

Bell-Type Inequalities for Bivariate Maps on Orthomodular Lattices

Jarosław Pykacz, L’ubica Valášková, Oľga Nánásiová

Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements ( $$s$$ -maps), are studied. It is shown, that the most simple of these inequalities, that involves only two propositions, is always satisfied, contrary to what happens in the case of traditional version of this inequality in which conjunctions of propositions are modeled by meets. Equivalence of various Bell-type inequalities formulated with the aid of bivariate maps on orthomodular lattices is studied. Our investigations shed new light on the interpretation of various multivariate maps defined on orthomodular lattices already studied in the literature. The paper is concluded by showing the possibility of using $$s$$ -maps and $$j$$ -maps to represent counterfactual conjunctions and disjunctions of non-compatible propositions about quantum systems.

Foundations of Physics•May 18, 2015•7 citations

Bell inequalities on quantum logics

Sylvia Pulmannová, Vladimír Majerník

Three types of Bell inequalities, expressed in terms of quantum logics (orthomodular lattices) and states on them, are studied. It is shown that the two first types are equivalent to the subadditivity of the corresponding state. The third type is equivalent to the existence of a Boolean quotient B of the orthomodular lattice L and a state s̄ on B, such that s̄⋅φ=s, where s is the state on L and φ:L→B is the quotient mapping.

Journal of Mathematical Physics•Jun 1, 1992•32 citations
Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements (s-maps), are studied. It is shown that the most simple of these inequalities, that involves only two propositions, is always satisfied, contrary to what happens in the case of traditional version of this inequality in which conjunctions of propositions are modeled by meets. Equivalence of various Bell-type inequalities formulated with the aid of bivariate maps on orthomodular lattices is studied. Our invesigations shed new light on the interpretation of various multivariate maps defined on orthomodular lattices already studied in the literature. The paper is concluded by showing the possibility of using s-maps and j-maps to represent counterfactual conjunctions and disjunctions of non-compatible propositions about quantum systems.
Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements ( sss -maps), are studied. It is shown, that the most simple of these inequalities, that involves only two propositions, is always satisfied, contrary to what happens in the case of traditional version of this inequality in which conjunctions of propositions are modeled by meets. Equivalence of various Bell-type inequalities formulated with the aid of bivariate maps on orthomodular lattices is studied. Our investigations shed new light on the interpretation of various multivariate maps defined on orthomodular lattices already studied in the literature. The paper is concluded by showing the possibility of using sss -maps and jjj -maps to represent counterfactual conjunctions and disjunctions of non-compatible propositions about quantum systems.