Advertisement
Published in:
01-01-2014 | Foundations
State-morphism pseudo-effect algebras
Published in: Soft Computing | Issue 1/2014
Log inActivate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
The notion of a state-morphism on pseudo-effect algebras is introduced, and pseudo-effect algebras with distinguished state-morphisms are studied under the name state-morphism pseudo-effect algebras (SMPEAs). It is shown that every SMPEA admits a representation as a (total) state-morphism algebra, and some results from the general theory of state-morphism algebras (that is, algebras endowed with a distinguished idempotent endomorphism called a state-morphism), recently developed by Botur and Dvurečenskij, can be applied. In particular, it is shown that under suitable conditions, a SMPEA can be embedded into a so-called diagonal one, realized by a direct product of the SMPEA with itself endowed with a suitable natural state-morphism.