Effect algebras are conditionally residuated structures. (English) Zbl 1247.03134

An effect algebra is a partial algebra with a commutative partial operation \(+\) of addition, which was introduced by D. J. Foulis and 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 [A. Dvurečenskij and T. Vetterlein, Int. J. Theor. Phys. 40, No. 3, 685–701 (2001; Zbl 0994.81008)].


03G12 Quantum logic
Full Text: DOI


[1] Bělohlávek R (2002) Fuzzy relational systems. Foundations and principles. Kluwer, New York
[2] Botur M, Chajda I, Halaš R (2010) Are basic algebras residuated structures? Soft Comput 14(3):251–255 · Zbl 1188.03048 · doi:10.1007/s00500-009-0399-z
[3] Chajda I, Halaš R, Kühr J (2007) Semilattice structures. Heldermann Verlag, Lemgo, ISBN 978-3-88538-230-0 · Zbl 1117.06001
[4] Chajda I, Halaš R, Kühr J (2009a) Many-valued quantum algebras. Algebra Universalis 60:63–90 · Zbl 1219.06013 · doi:10.1007/s00012-008-2086-9
[5] Chajda I, Halaš R, Kühr J (2009b) Every effect algebra can be made into a total algebra. Algebra Universalis 61:139–150 · Zbl 1192.03048 · doi:10.1007/s00012-009-0010-6
[6] Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer, Dordrecht · Zbl 0987.81005
[7] Dvurečenskij A, Vetterlein T (2001a) Pseudoeffect algebras. I. Basic properties. Int J Theor Phys 40:685–701 · Zbl 0994.81008 · doi:10.1023/A:1004192715509
[8] Dvurečenskij A, Vetterlein T (2001b) Pseudoeffect algebras. II. Group representations. Int J Theor Phys 40:703–726 · Zbl 0994.81009 · doi:10.1023/A:1004144832348
[9] Foulis DJ, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1325–1346
[10] Ward M, Dilworth RP (1939) Residuated lattices. Trans Am Math Soc 45:335–354 · doi:10.1090/S0002-9947-1939-1501995-3
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.