Representation and extension of states on MV-algebras

Archive for Mathematical Logic

Volumn 45, Issue 4, 2006, Pages 381-392

  Kroupa, Tomáš ^a,b  

^a INSTITUTE OF INFORMATION THEORY AND AUTOMATION   (Czech Republic)

^b CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Integral representation; MV algebra; Partition of unity; State

Indexed keywords

EID: 33645971325     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-005-0286-y     Document Type: Article

References (23)

1. Bandyopadhyay, P., Roy, A.K.: Nested sequences of balls, uniqueness of Hahn-Banach extensions and the Vlasov property. Rocky Mountain J. Math. 33 (1), 27-67 (2003)
2. Barbieri, G., Weber, H.: Measures on clans and on MV-algebras. In: Handbook of measure theory, Vol. I, II, North-Holland, Amsterdam, 2002, pp. 911-945
3. Belluce, L.P.: Semisimple algebras of infinite valued logic and bold fuzzy set theory. Canad. J. Math. 38 (6), 1356-1379 (1986)
4. Butnariu, D., Klement, E.P.: Triangular Norm Based Measures and Games with Fuzzy Coalitions. Kluwer, Dordrecht, 1993
5. Butnariu, D., Klement, E.P.: Triangular norm-based measures. In: Handbook of measure theory, Vol. I, II, North-Holland, Amsterdam, 2002, pp. 947-1010
6. Cignoli, R.L.O., D'Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of manyvalued reasoning, volume 7 of Trends in Logic-Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 2000
7. Dvurečenskij, A.: Loomis-Sikorski theorem for σ-complete MV-algebras and l-groups. J. Austral. Math. Soc. Ser. A 68 (2), 261-277 (2000)
8. Frič, R.: Measures on MV-algebras. Soft Comput. (7), 130-137 (2002)
9. Goodearl, K.R.: Partially ordered abelian groups with interpolation, volume 20 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1986
10. Horn, A., Tarski, A.: Measures on Boolean algebras. Trans. Amer. Math. Soc. 64, 467-497 (1948)
11. Jurečková, M.: The measure extension theorem on MV-algebras. In: Tatra Mountains Math. Publ 6, 55-61 (1995)
12. Manara, C.: Relating the theory of non-boolean partitions to the design of interpretable fuzzy systems. PhD thesis, Università degli studi di Milano, 2003
13. McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symbolic Logic 16, 1-13 (1951)
14. Mundici, D.: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1), 15-63 (1986)
15. Mundici, D.: Averaging the truth-value in Łukasiewicz logic. Studia Logica 55 (1), 113-127 (1995)
16. Mundici, D.: Uncertainty measures in MV-algebras, and states of AF C*-algebras. Special issue of Notas de la Sociedad de Matemáticas de Chile (in memoriam Rolando Chuaqui) 14, 15-42 (1996)
17. Mundici, D.: Tensor products and the Loomis-Sikorski theorem for MV-algebras. Adv. Appl. Math. 22 (2), 227-248 (1999)
18. Navara, M.: T-norms and measures of fuzzy sets. In: E.P. Klement and R. Mesiar (eds), Triangular Norms and Related Operators (to appear) 2004
19. Di Nola, A., Navara, M.: A characterization of σ-complete MV-algebras with enough states (submitted)
20. Riečan, B.: Fuzzy connectives and quantum models. In: R. Trappl, (ed), Cybernetics and Systems Research, volume 1, Singapore, 1992. World Scientific, pp. 335-338
21. Riečan, B., Mundici, D.: Probability on MV-algebras. In: Handbook of measure theory, Vol. I, II, North-Holland, Amsterdam, 2002, pp. 869-909
22. Riečan, B., Neubrunn, T.: Integral, measure, and ordering, volume 411 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1997
23. Sikorski, R.: Boolean Algebras. Springer-Verlag, Berlin, 1964