2 citations · 3 across the 21 of their papers we have counts for
Showing 2022 · math.LOShow all
2 papers · 2 filters
math.LO2022★ 2 cited
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…
math.LO2022
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…