Intervals in Generalized Effect Algebras and their Sub-generalized Effect Algebras

Zdenka Riečanová, Michal Zajac
2013 Acta Polytechnica  
We consider subsets G of a generalized effect algebra E with 0∈G and such that every interval [0, q]G = [0, q]E ∩ G of G (q ∈ G , q ≠ 0) is a sub-effect algebra of the effect algebra [0, q]E. We give a condition on E and G under which every such G is a sub-generalized effect algebra of E.
doaj:128bdb203f0241feb29461f1f4251ef9 fatcat:o5dfho26xna2hb4c7w7pitkn74