4 citations · 13 across the 28 of their papers we have counts for
Showing 2018 · math.LOShow all
3 papers · 2 filters
math.LO2018
Left residuated operators induced by posets with a unary operation
Ivan Chajda, Helmut Länger
The concept of operator left residuation has been introduced by the authors in a previous paper. Modifications of so-called quantum structures, in particular orthomodular posets, l…
math.LO2018★ 2 cited
The groupoid-based logic for lattice effect algebras
I. Chajda, H. Länger, J. Paseka
The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represent…
math.LO2018
Residuation in non-associative MV-algebras
Ivan Chajda, Helmut Länger
It is well known that every MV-algebra can be converted into a residuated lattice satisfying divisibility and the double negation law. In our previous papers we introduced the conc…