4 citations · 13 across the 28 of their papers we have counts for
6 papers · 1 filter
Tense logic based on finite orthomodular posets
Ivan Chajda, Helmut Länger
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimen…
Implication in weakly and dually weakly orthomodular lattices
Ivan Chajda, Helmut Länger
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implicat…
c-ideals in complemented posets
Ivan Chajda, Miroslav Kolařík, Helmut Länger
In their recent paper on posets with a pseudocomplementation denoted by * the first and the third author introduced the concept of a *-ideal. This concept is in fact an extension o…
Operator residuation in orthomodular posets of finite height
Ivan Chajda, Helmut Länger
We show that for every orthomodular poset P of finite height there can be defined two operators forming an adjoint pair with respect to an order-like relation defined on the power…
Filters and ideals in pseudocomplemented posets
Ivan Chajda, Helmut Länger
We study ideals and filters of posets and of pseudocomplemented posets and show a version of the Separation Theorem, known for ideals and filters in lattices and semilattices, with…
Extensions and congruences of partial lattices
Ivan Chajda, Helmut Länger
For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for p…