Residuated lattices and lattice effect algebras (Q879018)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Residuated lattices and lattice effect algebras |
scientific article |
Statements
Residuated lattices and lattice effect algebras (English)
0 references
4 May 2007
0 references
The authors study two partial operations in effect algebras, namely \(a \odot b = (a' \oplus b')'\) if \(a' \oplus b'\) is defined and \(a \to_p b = a' \oplus b\) if \(a' \oplus b\) is defined. They show, e.g., that for an effect algebra \((E, \oplus, 0, 1)\) we obtain a (dual) effect algebra \((E, \odot,0,1)\). Using these operations they construct an adjoint pair in an effect algebra with the Riesz decomposition property to obtain an involutive residuated lattice. On the other hand, they prove that an involutive residuated lattice \((L, \leq \otimes, \to, 0, 1)\) corresponds to an effect algebra with the Riesz decomposition property if and only if \(a \land b = a \otimes (a \to b)\) for every \(a,b \in L\).
0 references
lattice effect algebra
0 references
involutive residuated lattice
0 references
Riesz decomposition property
0 references