25 citations · 39 across the 40 of their papers we have counts for
7 papers · 1 filter
Varieties corresponding to classes of complemented posets
Ivan Chajda, Miroslav Kolařík, Helmut Länger
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and…
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…
Ideals of direct products of rings
Ivan Chajda, Günther Eigenthaler, Helmut Länger
It is known that an ideal of a direct product of commutative unitary rings is directly decomposable into ideals of the corresponding factors. We show that this does not hold in gen…
Directly decomposable ideals and congruence kernels of commutative semirings
Ivan Chajda, Günther Eigenthaler, Helmut Länger
As pointed out in the monographs by J. S. Golan and by W. Kuich and A. Salomaa on semirings, ideals play an important role despite the fact that they need not be congruence kernels…