7 citations · 11 across the 18 of their papers we have counts for
13 papers · 1 filter
Derived operators on skew orthomodular and strong skew orthomodular posets
Ivan Chajda, Helmut Länger
It is well-known that in the logic of quantum mechanics disjunctions and conjunctions can be represented by joins and meets, respectively, in an orthomodular lattice provided their…
The operator of relative complementation
Ivan Chajda, Helmut Länger
By the operator of relative complementation is meant a mapping assigning to every element x of an interval [a,b] of a lattice L the set x^{ab} of all relative complements of x in […
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…
Integration in semirings
Ivan Chajda, Helmut Länger
The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distr…
Residuation in twist products and pseudo-Kleene posets Abstract
Ivan Chajda, Helmut Länger
M. Busaniche, R. Cignoli, C. Tsinakis and A. M. Wille showed that every residuated lattice induces a residuation on its full twist product. For their construction they used also la…
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…