25 citations · 39 across the 40 of their papers we have counts for
4 papers · 2 filters
Properties of the connective implication in effect algebras
Ivan Chajda, Helmut Länger
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechani…
How to introduce the connective implication in orthomodular posets
Ivan Chajda, Helmut Länger
Since orthomodular posets serve as an algebraic axiomatization of the logic of quantum mechanics, it is a natural question how the connective of implication can be defined in this…
Unsharp residuation in effect algebras
Ivan Chajda, Helmut Länger
Effect algebras and pseudoeffect algebras were introduced by Foulis, Bennett, Dvurecenskij and Vetterlein as so-called quantum structures which serve as an algebraic axiomatization…
Boolean properties and Bell-like inequalities of numerical events
D. Dorninger, H. Länger, M. J. Mcaczyński
Let S be a set of states of a physical system and p(s) be the probability of the occurrence of an event when the system is in state s. A function p from S to [0,1] is called a nume…