MV-algebras: A variety for magnitudes with archimedean units

Algebra Universalis

Volumn 53, Issue 1, 2005, Pages 7-43

  Gispert, Joan ^a   Mundici, Daniele ^b  

^a UNIVERSITY OF BARCELONA   (Spain)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

AF algebra; Categorical equivalence; Chang completeness theorem; Free MV algebra; Gamma functor; Lattice ordered abelian group; Lukasiewicz logic; McNaughton function; Multiset; MV algebra; Polyhedral fan; Priestley duality

Indexed keywords

EID: 17444412315     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-005-1905-5     Document Type: Article

References (102)

1. M. E. Adams and W. Dziobiak, Q-universal quasivarieties of algebras, Proc. Amer. Math. Soc. 120 (1994), 1053-1059.
2. L. P. Belluce, Semisimple and complete MV-algebras, Algebra Universalis 29 (1992), 1456-1379.
3. A. Bigard, K. Keimel and S. Wolfenstein, Groupes et Anneaux Réticulés, Lecture Notes in Mathematics, vol. 608, Springer-Verlag, Berlin, 1971.
4. J. Blanco, M. Campercholi and D. Vaggione, The subquasivariety lattice of a discriminator variety, Advances in Mathematics 159 (2001), 18-50.
5. W. J. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), 195-227.
6. W. J. Blok and D. Pigozzi, Local deduction theorems in algebraic logic, Colloquia Math. Soc. Janos Bolyai 54 (1988), 75-109.
7. W. J. Blok and C. J. van Alten, The finite embeddability property for residuated lattices, pocrims and BCK-algebras, Algebra Universalis 48 (2002), 253-271.
8. B. Bosbach, Concerning bricks, Acta Mathematica Academiae Scientiarum Hungaricae 38 (1981), 89-104.
9. O. Bratteli, Inductive limits of finite-dimensional C*-algebras, Trans. Amer. Math. Soc. 171 (1972), 195-234.
10. O. Bratteli, P. Joergensen, H. H. Kim and F. Roush, Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams, Ergodic Theory Dyn. Syst. 20 (2000), 1639-1656.
11. O. Bratteli, P. Joergensen, H. H. Kim and F. Roush, Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups, Ergodic Theory Dyn. Syst. 21 (2002), 1625-1655.
12. H. W. Buff, Decidable and undecidable MV-algebras, Algebra Universalis 21 (1985), 234-249.
13. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer Verlag, New York, 1981.
14. C. C. Chang, Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
15. C. C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74-80.
16. C. C. Chang, The writing of the MV-algebras, Special issue on Many-valued Logics (D. Mundici, ed.), Studia Logica 61 (1998), 3-6.
17. C. C. Chang and H. J. Keisler, Continuous Model Theory, Annals of Mathematics Studies, Princeton, NJ, 1966.
18. C. C. Chang and H. J. Keisler, Model Theory, North-Holland. Amsterdam, 1973.
19. R. Cignoli and D. Mundici, An elementary proof of Chang completeness theorem for the infinite-valued calculus of Lukasiewicz, Studia Logica 58 (1997), 79-97.
20. R. Cignoli and D. Mundici, An elementary presentation of the equivalence between MV-algebras and ℓ-groups with strong unit, Special issue on Many-valued Logics (D. Mundici, ed.), Studia Logica 61 (1998), 49-64.
21. R. Cignoli and D. Mundici, An invitation to Chang MV-algebras, in: Advances in Algebra and Model Theory (M. Droste and R. Göbel, eds.,) Gordon and Breach Publishing Group, Reading, UK, 1998, pp. 171-197.
22. R. Cignoli and A. Torrens, Boolean products of MV-algebras: Hypernormal MV-algebras, J. Math. Anal. Appl. 199 (1996), 637-653.
23. R. Cignoli and A. Torrens, The poset of prime ℓ-ideals of an abelian ℓ-group with a strong unit, Journal of Algebra 184 (1996), 604-612.
24. R. Cignoli, A. Di Nola and A. Lettieri, Priestley duality and quotient lattices of many valued algebras, Rediconti Circolo Matematico di Palermo 40 (1991), 371-384.
25. R. Cignoli, I. M. L. D'Ottaviano and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 2000.
26. R. Cignoli, E. Dubuc and D. Mundici, Extending Stone duality to multisets and locally finite MV-algebras, J. Pure and Applied Algebra 189 (2004), 37-59.
27. R. Cignoli, E. Dubuc and D. Mundici, An MV-algebraic invariant for boolean algebras with a finite-orbit automorphism, Special issue in honor Professor J. Jakubik for his 80th birthday, Tatra Mountains Math. Publications 27 (2003), 23-43.
28. R. Cignoli, G. A. Elliott and D. Mundici, Reconstructing C*-algebras from their Murray-von Neumann orders, Advances in Mathematics 101 (1993), 166-179.
29. W. H. Cornish, Varieties generated by finite BCK-algebras, Bull. Austral. Math. Soc. 22 (1980), 411-413.
30. J. Czelakowski, Protoalgebraic Logics, Kluwer, Dordrecht, 2001.
31. J. Czelakowski and W. Dziobiak, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Algebra Universalis 27 (1990), 128-149.
32. C. N. Delzell and J. Madden, A completely normal spectral space that is not a real spectrum, J. Algebra 169 (1994), 71-77.
33. A. Di Nola, MV-Algebras in the Treatment of Uncertainty, in: Proceedings of the International IFSA Congress, Bruxelles 1991 (P. Löwen and E. Roubens, eds), Kluwer, Dordrecht, 1993, pp. 123-131.
34. A. Di Nola and A. Lettieri, Equational characterization of all varieties of MV-algebras, Journal of Algebra 221 (1999), 463-474.
35. A. Di Nola and A. Lettieri, One chain generated varieties of MV-algebras, Journal of Algebra 225 (2000), 667-697.
36. A. Di Nola, R. Grigolia and G. Panti, Finitely generated free MV-algebras and their automorphism groups, Studia Logica 61 (1998), 65-78.
37. A. Dvurečenskij and S. Pulmannová, New Trends in Quantum Structures, Kluwer, Dordrecht, 2000.
38. E. G. Effros, Dimensions and C*-algebras, American Mathematical Society, Providence, 1980.
39. E. G. Effros, D. E. Handelman and C. L. Shen, Dimension groups and their affine representations, American J. Math. 102 (1980), 385-407.
40. G. A. Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, Journal of Algebra 38 (1976), 29-44.
41. G. A. Elliott and D. Mundici, A characterization of lattice-ordered abelian groups, Mathematische Zeitschrift 213 (1993), 179-185.
42. J. M. Font, A. J. Rodríguez and A. Torrens, Wajsberg Algebras, Stochastica 8 (1984), 5-31.
43. L. Fuchs, Partially ordered algebraic systems, Pergamon Press, Oxford, New York, 1963.
44. H. Gaitan, Quasivarieties of Wajsberg Algebras, Journal of Non-Classical Logic 2 (1991), 79-101.
45. H. Gaitan, Subdirectly irreducible MV- algebras, Czechoslovak Mathematical Journal, 53 (2003), 631-639.
46. J. Gispert, Finitary extensions of the infinite valued Lukasiewicz calculus, Ph.D. Thesis, Universitat de Barcelona, 1998.
47. J. Gispert, Universal classes of MV-algebras with applications to many-valued logics, Mathematical Logic Quarterly 48 (2002), 581-601.
48. J. Gispert and A. Torrens, Locally finite quasivarieties of MV-algebras, preprint, Facultat de Matemàtiques Univ. Barcelona, 230 (1997), 1-23.
49. J. Gispert and A. Torrens, Quasivarieties generated by simple MV-algebras, Special issue on Many-valued Logics (D. Mundici, ed.), Studia Logica 61 (1998), 79-99.
50. J. Gispert, D. Mundici and A. Torrens, Ultraproducts of Z with an application to many-valued logics, Journal of Algebra 219 (1999), 214-233.
51. D. Gluschankof, Prime deductive systems and injective objects in the algebras of Lukasiewicz infinite-valued calculi, Algebra Universalis 29 (1992), 354-377.
52. K. R. Goodearl, von Neumann regular rings, Monographs and Studies in Mathematics, 4, Pitman Publishing Ltd, London, 1979.
53. K. R. Goodearl, D. E. Handelman and J. W. Lawrence, Affine representations of Grothendieck groups and applications to Rickart C*-algebras and No-continuous regular rings, Mem. Amer. Math. Soc. 234, 1980.
54. S. Gottwald, A treatise on many-valued logics, Studies in Logic and Computation 9 Research Studies Press, Baldock, 2000.
55. R, Grigolia, Algebraic analysis of Lukasiewicz- Tarski's n-valued logical systems, in: Selected Papers on Lukasiewicz Sentential Calculi (R. Wójcicki and G. Malinowski, eds.), Ossolineum, Wroclaw, 1977, pp. 81-92.
56. P. Hájek, Metamathematics of fuzzy logic, Kluwer, Dordrecht, 1998.
57. C. S. Hoo, Bounded commutative BCK-algebras satisfying D.C.C., Mathematica Japonica 32 (1987), 217-225.
58. C. S. Hoo and P. V. Ramana Murty, The ideals of a bounded commutative BCK-algebra, Mathematica Japonica 32 (1987), 723-733.
59. K. Iséki and S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica 23 (1978), 1-26.
60. K. Keimel, Some trends in lattice-ordered groups and rings, in: Lattice Theory and its Applications (K. A. Baker and R. Wille, eds.), Heldermann Verlag, 1995, pp. 131-161.
61. Y. Komori, Super-Lukasiewicz propositional logics, Nagoya Mathematical Journal 84 (1981), 119-133.
62. J. Lukasiewicz, O Logice Trówartosciowej, Ruch Filozoficzny 5 (1920), 170-171. English Translation: On three-valued logic, in: J. Lukasiewicz Selected Works, North-Holland, Amsterdam, 1970, pp. 87-88.
63. J. Lukasiewicz, O Logice Trówartosciowej, Ruch Filozoficzny 5 (1920), 170-171. English Translation: On three-valued logic, in: J. Lukasiewicz Selected Works, North-Holland, Amsterdam, 1970, pp. 87-88.
64. J. Lukasiewicz and A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), 30-50. English translation in [98, Chapter IV].
65. V. Marra, Non-boolean partitions, PhD thesis, Department of Computer Science, University of Milan, 2002.
66. V. Marra, Every abelian lattice-ordered group is ultrasimplicial, Journal of Algebra 225 (2000), 872-884.
67. V. Marra and D. Mundici, Combinatorial fans, lattice-ordered groups, and their neighbours: a short excursion, Semin. Lothar, de Combinatoire 47 Article b47f, 2002, electronic journal.
68. V. Marra and D. Mundici, MV-algebras and abelian ℓ-groups: a fruitful interaction, in: Ordered Algebraic Structures, honoring Paul Conrad for his 80th Birthday (J. Martinez, ed.), Kluwer, Dordrecht, 2002, pp. 57-88.
69. V. Marra and D. Mundici, Lukasiewicz logic and Chang's MV-algebras in action, in: Trends in Logic vol. 20, special volume for the 50 years of Studia Logica (V. F. Hendricks and J. Malinowski, eds.), Kluwer, Dordrecht, 2003, pp. 129-176.
70. N. G. Martinez, The Priestley duality for Wajsberg algebras, Studia Logica 49 (1990), 31-46.
71. N. G. Martinez, H. A. Priestley, On Priestley Spaces of Lattice-Ordered Algebraic Structures, Order 15 (1998), 297-323.
72. R. McKenzie, An algebraic version of categorical equivalence for varieties and more general algebraic categories, in: Logic and algebra (A. Ursini et al., eds.), Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26-30, 1994, Pontignano, Italy. New York: Marcel Dekker. Lect. Notes Pure Appl. Math. 180 (1996), pp. 211-243.
73. R. McNaughton, A theorem about infinite-valued sentential logic, The Journal of Symbolic Logic 16 (1951), 1-13.
74. F. Montagna, An algebraic approach to prepositional fuzzy logic, Language and Information, special issue on the treatment of uncertain information (D. Mundici, ed.), Journal of Logic 9 (2000), 91-124.
75. D. Mundici, Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, Journal of Functional Analysis 65 (1986), 15-63.
76. D. Mundici, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science 52 (1987), 145-153.
77. D. Mundici, Free products in the category of abelian ℓ-groups with strong unit, J. Algebra 113 (1988), 89-109.
78. D. Mundici, Farey stellar subdivisions, ultrasimplicial groups and Kg of AF C*-algebras, Advances in Mathematics 68 (1988), 23-39.
79. D. Mundici, Turing complexity of the Behnke-Leptin C*-algebras with a two-point dual, Lecture Notes in Computer Science, vol. 626 (1992), 272-277.
80. 0, relative dimension, and the C*-algebras of Post logic, Proceedings of the IX Latin American symposium on mathematical logic, Bahia Blanca, Argentina, August 3-8, 1992, Part 1. Bahia Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38 (1993), 83-92.
81. D. Mundici, A constructive proof of McNaughton Theorem in infinite-valued logics, Journal of Symbolic Logic 59 (1994), 596-602.
82. D. Mundici, Lukasiewicz normal forms and toric desingularizations, in: Proceedings of Logic Colloquium 1993, Keele, England (W. Hodges et al., eds.,) Oxford University Press, 1996, pp. 401-423.
83. D. Mundici, Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics 22 (1999), 227-248.
84. D. Mundici, Simple Bratteli diagrams with a Gödel incomplete C*-equivalence problem, Trans. Amer. Math. Soc. 356 (2004), 1937-1955.
85. D. Mundici and G. Panti, Extending addition in Elliott local semigroup, Journal of Functional Analysis 171 (1993), 461-472.
86. D. Mundici and G. Panti, Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic 108 (2001), 269-278.
87. G. Panti, A geometric proof of the completeness of the Lukasiewicz calculus, Journal of Symbolic Logic 60 (1995), 563-578.
88. G. Panti, Multi-valued logics, Handbook of defeasible reasoning and uncertainty management systems, Vol. 1: Quantified representation of uncertainty and imprecision (Dov M. Gabbay et al., eds.), Kluwer, Dordrecht, 1998, pp. 25-74.
89. G. Panti, Varieties of MV-algebras, Journal of Applied non-classical Logic 9 (1999), 141-157.
90. E. Pap, editor, Handbook of Measure Theory, I, II, North-Holland, Amsterdam, 2002.
91. K. R. Pierce, Amalgamations of lattice ordered groups, Trans. Amer. Math. Soc. 172 (1972), 249-260.
92. H. A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1972), 186-190.
93. H. A. Priestley, Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 3 (1975), 507-530.
94. B. Riečan and D. Mundici, Probability on MV-algebras, in: Handbook of Measure Theory (E. Pap, ed.), North-Holland, Amsterdam, 2002, pp. 869-909.
95. B. Riečan and T. Neubrunn, Integral, measure, and ordering, Kluwer, Dordrecht, 1997.
96. A. Romanowska and T. Traczyk, On commutative BCK-algebras, Mathematica Japonica 24 (1980), 567-583.
97. A. Romanowska and T. Traczyk, Commutative BCK-algebras: subdirectly irreducible algebras and varieties, Mathematica Japonica 27 (1982), 35-48.
98. A. Rose and J. B. Rosser, Fragments of many-valued statement calculi, Trans. Amer. Math. Soc. 87 (1958), 1-53.
99. A. Tarski and J. Lukasiewicz, Investigations into the Sentential Calculus, in: Logic, Semantics, Metamathematics, Oxford University Press, 1956, pp. 38-59. Reprinted by Hackett Publishing Company, Indianapolis, 1983.
100. A. Torrens, Cyclic elements in MV-algebras and Post Algebras, Math. Logic Quarterly 40 (1994), 431-444.
101. T. Traczyk, On the variety of bounded commutative BCK-algebras, Mathematica Japonica 24 (1979), 238-292.
102. H. Yutani, On a system of axioms of commutative BCK-algebras, Mathematics Seminar Notes of the Kobe University 5 (1977), 255-256.