most citedUnsharp residuation in effect algebras

1 citations · 2 across the 5 of their papers we have counts for

collaborators

13 papers

math.LO2020

On ring-like structures of lattice-ordered numerical events

Dietmar Dorninger, Helmut Länger

Let S be a set of states of a physical system. The probabilities p(s) of the occurrence of an event when the system is in different states s of S define a function from S to [0,1]…

math.RA20201 cited

Kleene posets and pseudo-Kleene posets

Ivan Chajda, Helmut Länger

The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebr…

math.RA2020

Sublattices and -blocks of orthomodular posets

Ivan Chajda, Helmut Länger

For orthoposets we introduce a binary relation Delta and a binary operator d(x,y) which are generalizations of the binary relation C and the commutator c(x,y), respectively, known…

math.RA2020

Orthogonality and complementation in the lattice of subspaces of a finite-dimensional vector space over a finite field

Ivan Chajda, Helmut Länger

We investigate the lattice L(V) of subspaces of an m-dimensional vector space V over a finite field GF(q) with q being the n-th power of a prime p. It is well-known that this latti…

math.RA2019

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…

math.LO2019

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…