Displaying similar documents to “Spectral resolutions for σ -complete lattice effect algebras”

A spectral theorem for σ MV-algebras

Sylvia Pulmannová (2005)

Kybernetika

Similarity:

MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for “multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis–Sikorski theorem for σ -MV-algebras, we prove that, with every element a in a σ -MV algebra M , a spectral measure (i. e. an observable) Λ a : ℬ ( [ 0 , 1 ] ) → ℬ ( M ) can be associated, where ℬ ( M ) denotes the Boolean...

Generalized homogeneous, prelattice and MV-effect algebras

Zdena Riečanová, Ivica Marinová (2005)

Kybernetika

Similarity:

We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We prove that every prelattice generalized effect algebra P is a union of generalized MV-effect...