Search

Start Over Creator Pulmannová, Sylvia

1. Congruences and ideals in lattice effect algebras as basic algebras

Creator:
Pulmannová, Sylvia and Vinceková, Elena
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
basic algebra, effect algebra, ideal, and convergence
Language:
English
Description:
Effect basic algebras (which correspond to lattice ordered effect algebras) are studied. Their ideals are characterized (in the language of basic algebras) and one-to-one correspondence between ideals and congruences is shown. Conditions under which the quotients are OMLs or MV-algebras are found.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

2. Extensions of partially ordered partial abelian monoids

Creator:
Pulmannová, Sylvia
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
abelian partially ordered groups, partially ordered partial abelian monoids, effect algebras, MV-algebras, Riesz decomposition properties, short exact sequences, and extensions
Language:
English
Description:
The notion of a partially ordered partial abelian monoid is introduced and extensions of partially ordered abelian monoids by partially ordered abelian groups are studied. Conditions for the extensions to exist are found. The cases when both the above mentioned structures have the Riesz decomposition property, or are lattice ordered, are treated. Some applications to effect algebras and MV-algebras are shown.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

3. Remarks on effect-tribes

Creator:
Pulmannová, Sylvia and Vinceková, Elena
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
effect tribe, tribe, monotone σ-complete effect, effect algebra, Riesz decomposition property, and MV-algebra
Language:
English
Description:
We show that an effect tribe of fuzzy sets T⊆[0,1]X with the property that every f∈T is B0(T)-measurable, where B0(T) is the family of subsets of X whose characteristic functions are central elements in T, is a tribe. Moreover, a monotone σ-complete effect algebra with RDP with a Loomis-Sikorski representation (X,T,h), where the tribe T has the property that every f∈T is B0(T)-measurable, is a σ-MV-algebra.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public