Non-Commutative Algebras and Quantum Structures

We present a survey on pseudo-effect algebras and pseudo MV-algebras, which generalize effect algebras and MV-algebras by dropping the assumption on commutativity. A non-commutative logic is nowadays used even in programming languages. We show when a pseudo-effect algebra E is an interval in a unital po-group. This is possible, e.g. if E satisfies a Riesz-type decomposition property, i.e. another kind of distributivity with respect to addition. Every pseudo MV-algebra is an interval in a unital ℓ-group. We study a case when compatibility can be expressed by a pseudo MV-structure, i.e. when E can be covered by blocks being pseudo MV-algebras. Finally, we study the state space of such structures.