Displaying 41 – 60 of 217

Showing per page

Compatibility and central elements in pseudo-effect algebras

Paolo Vitolo (2010)

Kybernetika

An equivalent definition of compatibility in pseudo-effect algebras is given, and its relationships with central elements are investigated. Furthermore, pseudo-MV-algebras are characterized among pseudo-effect algebras by means of compatibility.

Congruences and ideals in lattice effect algebras as basic algebras

Sylvia Pulmannová, Elena Vinceková (2009)

Kybernetika

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.

Decomposition of -group-valued measures

Giuseppina Barbieri, Antonietta Valente, Hans Weber (2012)

Czechoslovak Mathematical Journal

We deal with decomposition theorems for modular measures μ : L G defined on a D-lattice with values in a Dedekind complete -group. Using the celebrated band decomposition theorem of Riesz in Dedekind complete -groups, several decomposition theorems including the Lebesgue decomposition theorem, the Hewitt-Yosida decomposition theorem and the Alexandroff decomposition theorem are derived. Our main result—also based on the band decomposition theorem of Riesz—is the Hammer-Sobczyk decomposition for -group-valued...

Descriptions of state spaces of orthomodular lattices (the hypergraph approach)

Mirko Navara (1992)

Mathematica Bohemica

Using the general hypergraph technique developed in [7], we first give a much simpler proof of Shultz's theorem [10]: Each compact convex set is affinely homeomorphic to the state space of an orthomodular lattice. We also present partial solutions to open questions formulated in [10] - we show that not every compact convex set has to be a state space of a unital orthomodular lattice and that for unital orthomodular lattices the state space characterization can be obtained in the context of unital...

Currently displaying 41 – 60 of 217