7 citations · 11 across the 16 of their papers we have counts for
12 papers · 1 filter
The logic of quantum mechanics incorporating time dimension
Ivan Chajda, Helmut Länger
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. vo…
An algebraic analysis of implication in non-distributive logics
Ivan Chajda, Kadir Emir, Davide Fazio +3
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several struc…
Join-semilattices whose principal filters are pseudocomplemented lattices
Ivan Chajda, Helmut Länger
This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by…
Algebraic properties of paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics.…
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]…
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…