25 citations · 39 across the 40 of their papers we have counts for
Showing 2018 · math.LOShow all
3 papers · 2 filters
math.LO2018
Residuated operators and Dedekind-MacNeille completion
Ivan Chajda, Helmut Länger, Jan Paseka
The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transf…
math.LO2018★ 1 cited
Residuation in modular lattices and posets
Ivan Chajda, Helmut Länger
We show that every complemented modular lattice can be converted into a left residuated lattice where the binary operations of multiplication and residuum are term operations. The…
math.LO2018
Residuated operators in complemented posets
Ivan Chajda, Helmut Länger
Using the operators of taking upper and lower cones in a poset with a unary operation, we define operators M(x,y) and R(x,y) in the sense of multiplication and residuation, respect…