Residuated lattices and lattice effect algebras (Q879018): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Qing-Guo Li / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Wang, Guojun / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Josef Tkadlec / rank | |||
Normal rank |
Revision as of 00:01, 10 February 2024
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