4 citations · 13 across the 28 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
On a variety of commutative multiplicatively idempotent semirings
Ivan Chajda, Helmut Länger
We prove that the variety V of commutative multiplicatively idempotent semirings satisfying x + y + xyz = x + y is generated by single semirings. Moreover, we describe a normal for…
Coupled right orthosemirings induced by orthomodular lattices
Ivan Chajda, Helmut Länger
L. P. Belluce, A. Di Nola and B. Gerla established a connection between MV-algebras and (dually) lattice ordered semirings by means of so-called coupled semirings. A similar connec…
General coupled semirings of residuated lattices
Ivan Chajda, Helmut Länger
Di Nola and Gerla showed that MV-algebras and coupled semirings are in a natural one-to-one correspondence. We generalize this correspondence to residuated lattices satisfying the…