Page 1 Next

Displaying 1 – 20 of 292

Showing per page

A measure-theoretic characterization of Boolean algebras among orthomodular lattices

Pavel Pták, Sylvia Pulmannová (1994)

Commentationes Mathematicae Universitatis Carolinae

We investigate subadditive measures on orthomodular lattices. We show as the main result that an orthomodular lattice has to be distributive (=Boolean) if it possesses a unital set of subadditive probability measures. This result may find an application in the foundation of quantum theories, mathematical logic, or elsewhere.

A new approach to representation of observables on fuzzy quantum posets

Le Ba Long (1992)

Applications of Mathematics

We give a representation of an observable on a fuzzy quantum poset of type II by a pointwise defined real-valued function. This method is inspired by that of Kolesárová [6] and Mesiar [7], and our results extend representations given by the author and Dvurečenskij [4]. Moreover, we show that in this model, the converse representation fails, in general.

A spectral theorem for σ MV-algebras

Sylvia Pulmannová (2005)


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 σ -algebra...

An atomic MV-effect algebra with non-atomic center

Vladimír Olejček (2007)


Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of sharp or central elements is presented.

Currently displaying 1 – 20 of 292

Page 1 Next