5,969 research outputs found
On a New Construction of Pseudo BL-Algebras
We present a new construction of a class pseudo BL-algebras, called kite
pseudo BL-algebras. We start with a basic pseudo hoop . Using two injective
mappings from one set, , into the second one, , and with an identical
copy with the reverse order we construct a pseudo BL-algebra
where the lower part is of the form and the upper one is
. Starting with a basic commutative hoop we can obtain even a
non-commutative pseudo BL-algebra or a pseudo MV-algebra, or an algebra with
non-commuting negations. We describe the construction, subdirect irreducible
kite pseudo BL-algebras and their classification
Kite Pseudo Effect Algebras
We define a new class of pseudo effect algebras, called kite pseudo effect
algebras, which is connected with partially ordered groups not necessarily with
strong unit. In such a case, starting even with an Abelian po-group, we can
obtain a noncommutative pseudo effect algebra. We show how such kite pseudo
effect algebras are tied with different types of the Riesz Decomposition
Properties. Kites are so-called perfect pseudo effect algebras, and we define
conditions when kite pseudo effect algebras have the least non-trivial normal
ideal
Pseudo MV-algebras and Lexicographic Product
We study algebraic conditions when a pseudo MV-algebra is an interval in the
lexicographic product of an Abelian unital -group and an -group
that is not necessary Abelian. We introduce -perfect pseudo MV-algebras
and strong -perfect pseudo MV-algebras, the latter ones will have a
representation by a lexicographic product. Fixing a unital -group
, the category of strong -perfect pseudo MV-algebras is
categorically equivalent to the category of -groups.Comment: arXiv admin note: text overlap with arXiv:1304.074
States on pseudo effect algebras and integrals
We show that every state on an interval pseudo effect algebra satisfying
some kind of the Riesz Decomposition Properties (RDP) is an integral through a
regular Borel probability measure defined on the Borel -algebra of a
Choquet simplex . In particular, if satisfies the strongest type of
(RDP), the representing Borel probability measure can be uniquely chosen to
have its support in the set of the extreme points of $K.
- ā¦