Decomposizione di funzioni additive definite in strutture ortomodulari: il problema dell'unicità
Extending Coarse-Grained Measures
In [4] it is proved that a measure on a finite coarse-grained space extends, as a signed measure, over the entire power algebra. In [7] this result is reproved and further improved. Both the articles [4] and [7] use the proof techniques of linear spaces (i.e. they use multiplication by real scalars). In this note we show that all the results cited above can be relatively easily obtained by the Horn-Tarski extension technique in a purely combinatorial manner. We also characterize the pure measures...
Group-valued measures on coarse-grained quantum logics
In it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later () this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained...
On the permanence properties of interval homogeneous orthomodular lattices
Effect algebras and extensions of measures
We investigate the existence of a Caratheodory type extension for modular measures defined on lattice-ordered effect algebras.
A Cantor-Bernstein theorem for -complete MV-algebras
The Cantor-Bernstein theorem was extended to -complete boolean algebras by Sikorski and Tarski. Chang’s MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Łukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to -complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.
On interval homogeneous orthomodular lattices
An orthomodular lattice is said to be interval homogeneous (resp. centrally interval homogeneous) if it is -complete and satisfies the following property: Whenever is isomorphic to an interval, , in then is isomorphic to each interval with and (resp. the same condition as above only under the assumption that all elements , , , are central in ). Let us denote by Inthom (resp. Inthom) the class of all interval homogeneous orthomodular lattices (resp. centrally interval homogeneous...
Page 1