25 citations · 39 across the 40 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.LO2022
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…
math.QA2022★ 1 cited
Orthomodular and generalized orthomodular posets
Ivan Chajda, Miroslav Kolařík, Helmut Länger
We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, w…
math.RA2022
Remarks on special congruences
Ivan Chajda, Helmut Länger
We study algebras and varieties where every non-trivial congruence has some class being a non-trivial subuniverse of the algebra in question. Then we focus on algebras where this n…