Journal of Logic and Computation Advance Access published online on March 18, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp019
Original Papers |
Measures and Topologies on MV-algebras1
Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100 Udine, Italy.
E-mail: weber{at}dimi.uniud.it
Received 3 October 2008.
We present a topological approach to the study of measures on MV-algebras. These measures generalize, in the terminology of Butnariu and Klement (D. Butnariu and E. P. Klement. Triangular Norm based Measures and Games with Fuzzy Coalitions. Kluver, Dordrecht, 1993), T
-valuations on clans of fuzzy sets.
Keywords: topological MV-algebras; measures; Lebesgue decomposition; Hammer-Sobczyk decomposition; Vitali-Hahn-Saks theorem; Nikod
m boundedness theorem; Lyapunov theorem
1This article was presented at the conference ManyVal08 held at Milano (Italy) during 19–21 May 2008.
References
- Anzai H. On compact topological rings. Proceedings of the Imperial Academy Tokyo (1943) 19:613–615.[CrossRef]
- Avallone A. Cafiero and Nikodym boundedness theorems in effect algebras. Ital. J. Pure and Appl. Math. (2006) 20:203–214.
- Avallone A, Barbieri G, Vitolo P. Hahn decomposition of modular measures and applications. Annales Soc. Math. Polon. Series I: Comment. Math. (XLIII) 149–168.
- Avallone A, Vitolo P. Decomposition and control theorems for measures on effect algebras. Sci. Math. Japon. (2003) 58:1–14.
- Barbieri G, Lepellere MA, Weber H. The Hahn decomposaition theorem for fuzzy measures and applications. Fuzzy Sets and Systems (2001) 118:519–528.[CrossRef][Web of Science]
- Barbieri G, Weber H. Measures on clans and on MV-algebras. In: Handbook of Measure Theory—Pap E, ed. (2002) Amsterdam: Elsevier. 911–945.
- Bennett MK, Foulis DJ. Effect algebras and unsharp quantum logics. Foundations of Physics (1994) 24:1331–1352.[CrossRef][Web of Science]
- Bernau J. Unique representation of Archimedean lattice groups and normal Archimedean lattice rings. Proceedings of London Mathematical Society (1963) 3:599–631.
- Butnariu D, Klement EP. Triangular Norm based Measures and Games with Fuzzy Coalitions (1993) Dordrecht: Kluver.
- Chovanec F, Kopka F. D-posets. Mathematica Slovaca (1994) 44:21–34.
- Diestel J, Uhl JJ. Vector measures. In: Mathematics Surveys. 15. Americam Mathematical Society.
- Drewnowski L. Topological rings of sets, continuous set functions, integration I, II, III. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astr. Phys. 20:269–276. 277–286, 439–445, 1972.
- Dvure
enskij A. On Loomis-Sikorski's theorem for MV-algebras and BCK-algebras. Contributions to General Algebra (2000) 12:165–180. - Dvure
enskij A, Pulmannová S. New Trends in Quantum Structures. Mathematics and its Applications. (2000) Kluwer Academic Publishers. - Fréchet M. Sur divers modes de convergence d'une suite de fonctions d'une variable. Bulletin of Calcutta Mathematical Society. 11:187–206. 1919–1920.
- Fleischer I, Traynor T. Equivalence of group-valued measures on an abstract lattice. Bull. Acad. Polon. Sci. Sér. Sci. Math. (1981) 28:549–556.
- Hammer PC, Sobczyk A. A decomposition of additive set functions. Duke Mathematical Journal (1944) 11:839–846.[CrossRef]
- Kranz P. Mutual equivalence of vector and scalar measures on lattices. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. (1977) 25:243–250.
- Kranz P. Measures on lattices. (1978) 173–193. In Proceedings of the Conference Topology and Measure, I (Zinnowitz, 1974), Part 1, Ernst-Moritz-Arndt Univ. Greifswald.
- Mundici D. Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. Journal of Functional Analysis (1986) 65:15–63.[CrossRef][Web of Science]
- Mundici D. Tensor products and the Loomis-Sikorski theorem for MV-algebras. Advances in Applied Mathematics (1999) 22:227–248.[CrossRef][Web of Science]
- Nikod
m OM. Sur les fonctions d'ensembles. In: Comptes Rendus du I Congrés des Math. des Pays Slaves, Warsaw (1929) 304–313. - Nikod
m OM. Sur une généralisation des intégrals de M.J. Radon. Fundamenta Mathematical (1930) 15:131–179. - Rickart CE. Decomposition of additive set functions. Duke Mathematical Journal (1943) 10:653–665.[CrossRef]
- Weber H. Group- and vector-valued s-bounded contents (1984) 181–198.
- Weber H. Uniform lattices I: a generalization of topological Riesz spaces and topological Boolean rings. Uniform lattices II: Order continuity and exhaustivity. Annali di Matematica Pura ed Applicata (1991) 160:347–370. 165, 133–158, 1993.[CrossRef]
- Weber H. On modular functions. Functiones Et Approximatio (1996) 24:35–52.
- Weber H. An abstraction of clans of fuzzy sets. Ricerche di Matematica (1997) 46:457–472.
- Weber H. FN-topologies and group-valued measures. In: Handbook of Measure Theory—Pap E, ed. (2002) Amsterdam: Elsevier. 703–743.
| ||||||||||||||||||||||||||||||||||||||||||||||||