4 citations · 13 across the 28 of their papers we have counts for
Showing 2019 · math.LOShow all
3 papers · 2 filters
math.LO2019
Residuation in finite posets
Ivan Chajda, Helmut Länger
When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined a…
math.LO2019
Residuation in lattice effect algebras
Ivan Chajda, Helmut Länger
We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Als…
math.LO2019
Relatively residuated lattices and posets
Ivan Chajda, Helmut Länger
It is known that every relatively pseudocomplemented lattice is residuated and, moreover, it is distributive. Unfortunately, non-distributive lattices with a unary operation satisf…