Residuated lattices and lattice effect algebras (Q879018): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Qing-Guo Li / rank | |||
Property / author | |||
Property / author: Wang, Guojun / rank | |||
Property / reviewed by | |||
Property / reviewed by: Josef Tkadlec / rank | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2006.12.014 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1968222062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4056047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic foundations of many-valued reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4500035 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: D-lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2762622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudoeffect algebras. I: Basic properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-commutative algebras and quantum structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effect algebras and unsharp quantum logics. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean algebras R-generated by MV-effect algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4291523 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2793522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy logic algebras on residuated lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4680239 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BL-algebras and effect algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrated semantics and logic metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated Lattices / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:31, 25 June 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