
A cancellative positive partial abelian monoid (CPAM) is an algebra \(\mathcal P =(P;\oplus ,0)\) of type \((2,0)\) which is a partial commutative monoid satisfying the left cancellation law and \(a\oplus b=0\) implies \(a=0\). The author generalizes effect algebras or \(D\)-posets. Several concepts of ideals are introduced. Especially, an \(R1\)-ideal \(I\) is defined in such way that, for each CPAM \(\mathcal P\), \(\mathcal P /I\) is also a CPAM. The author studies congruences on CPAM associated with \(R1\)-ideals and the lattice of all \(R1\)-ideals on a CPAM. An \(R1\)-ideal satisfying one more condition is called a Riesz ideal, the lattice of all Riesz ideals is a sublattice of the lattice of all ideals as shown by the author.
partial monoid, Riesz ideal, Ordered semigroups and monoids, Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects), effect algebra, ideal, Quantum logic
partial monoid, Riesz ideal, Ordered semigroups and monoids, Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects), effect algebra, ideal, Quantum logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
