Berge equilibria in n-person 2-strategy games
An algorithm for finding all Berge equilibria in the sense of Zhukovskii in n-person 2-strategy games in pure and mixed strategies is given.
cs.GT↗
arXiv subjects
Jarosław Pykacz
Publications and source records attributed to Jarosław Pykacz.
Bell-type inequalities for bivariate maps on orthomodular lattices
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.
quant-ph↗
Can many-valued logic help to comprehend quantum phenomena?
Following Łukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger-Horne-Zeilinger `paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events. Description of properties of quantum objects before they are measured should be performed with the use of propositional functions that form a particular model of infinitely-valued Łukasiewicz logic. This model is distinguished by specific operations of negation, conjunction, and disjunction that are used in it.
quant-ph↗