Effect algebras are conditionally residuated structures (Q422485): Difference between revisions

An effect algebra is a partial algebra with a commutative partial operation \(+\) of addition, which was introduced by \textit{D. J. Foulis} and \textit{M. K. Bennett} [Found. Phys. 24, No. 10, 1331--1352 (1994; Zbl 1213.06004)]. Since every MV-algebra can be viewed as an effect algebra, which is a commutative residuated structure, there is a problem when effect algebras can also be viewed as partial structures. The authors show that it is possible to deal with them as conditionally residuated structures. The same is done also for a noncommutative generalization of effect algebras, called pseudoeffect algebras, which were introduced in [\textit{A. Dvurečenskij} and \textit{T. Vetterlein}, Int. J. Theor. Phys. 40, No. 3, 685--701 (2001; Zbl 0994.81008)].