Boolean products of MV-algebras: Hypernormal MV-algebras

Journal of Mathematical Analysis and Applications

Volumn 199, Issue 3, 1996, Pages 637-653

  Cignoli, Roberto ^a   Torrell, Antoni Torrens ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030140710     PISSN: 0022247X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jmaa.1996.0167     Document Type: Article

References (37)

1. 1. L. P. Belluce, Semisimple algebras of infinite valued logic and bold fuzzy set theory, Canad. J. Math. 38 (1986), 1356-1379.
2. 2. L. P. Belluce, Semisimple and complete MV-algebras, Algebra Universalis 29 (1992), 1-9.
3. 3. L. P. Belluce, A. Di Nola, and A. Lettieri, Local MV-algebras, Rend. Circ. Mat. Palermo 42 (1993), 347-361.
4. 4. W. J. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences. III, Algebra Universalis 31 (1994), 1-35.
5. 5. B. Bosbach, Concerning bricks, Acta Math. Hungar. 38 (1981), 89-104.
6. 6. S. Burris and H. P. Sankappanavar, "A Course in Universal Algebra," Graduate Texts in Mathematics, Vol. 78, Springer-Verlag, New York, 1981.
7. 7. C. C. Chang, Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
8. 8. C. C. Chang, A new proof of the completeness of the Łukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74-80.
9. 9. R. Cignoli, The lattice of global sections of sheaves of chains over Boolean spaces, Algebra Universalis 8 (1974), 195-206.
10. 10. R. Cignoli, A. Di Nola, and A. Lettieri, Priestly duality and quotient lattices of many-valued algebras, Rend. Circ. Mat. Palermo (2) 40 (1991), 119-133.
11. 11. R. Cignoli, G. A. Elliott, and D. Mundici, Reconstructing C*-algebras from their Murray-von Neumann orders, Adv. in Math. 101 (1993), 166-179.
12. 12. R. Cignoli and A. Torrens, The poset of prime l-ideals of an abelian l-group with strong unit, J. Algebra, to appear.
13. 13. W. H. Cornish, 3-permutability and quasicommutative BCK-algebras, Math. Japon. 25 (1980), 477-496.
14. 14. H. Dobbertin, G. Hansoul, and J. C. Varlet, Two problems about perfect distributive lattices, Arch. Math. (Basel) 49 (1987), 83-90.
15. 15. E. Fried, G. E. Hansoul, E. T. Schmidt, and J. C. Varlet, Perfect distributive lattices, in "Contributions to Algebra 3, Proceedings of the Vienna Conference, June 1984," pp. 125-142, Verlag-Holder-Pichler-Tempsky, Vienna/Teubner, Stuttgart, 1985.
16. 16. J. M. Font, A. J. Rodriguez, and A. Torrens, Wajsberg algebras, Stochastica 8 (1984), 5-31.
17. 17. G. Grätzer, "General Lattice Theory," Pure and Applied Mathematics, Vol. 75, Academic Press, New York, 1978.
18. 18. L. Gillman and M. Jerison, "Rings of Continuous Functions," 2nd ed., Graduate Texts in Mathematics, Springer-Verlag, New York/Berlin, 1976.
19. 19. I. Kaplansky, Lattices of continuous functions, Bull. Amer. Math. Soc. 53 (1947), 617-623.
20. 20. Y. Komori, Super-Łukasiewicz propositional logics, Nagoya Math. J. 84 (1981), 119-133.
21. 21. S. Koppelberg, "Handbook of Boolean Algebras," Vol. 1 (J. D. Monk and R. Bonnet, Eds.), Elsevier, New York, 1989.
22. 22. H. P. Krauss and D. M. Clark, Global subdirect products, Mem. Amer. Math. Soc. 210 (1979).
23. 23. F. Lacava, Alcune proprietá delle Ł-algebre esistenzialmente chiuse, Boll. Un. Mat. Ital. A (5) 16 (1979), 360-366.
24. 24. M. Mandelker, Relative annihilators in lattices, Duke Math. J. 37 (1970), 337-386.
25. 25. A. Monteiro, L'arithmetique des Filtres et les Spaces Topologiques, I, II, Notas Lógica Mat., 29-30, 1974.
26. 26. D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15-63.
27. 27. D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Japon. 31 (1986), 889-894.
28. 0 of C*-algebras, Adv. Math. 68 (1988), 23-39.
29. 29. D. Mundici, The C*-algebras of the three-valued logics, in "Logic Colloquium 88" (Ferro, Bonotto, Valentini, and Zanardo, Eds.), pp. 23-39, Elsevier/North-Holland, New York/Amsterdam, 1989.
30. 30. D. Mundici, The Logic of Ulam's Game with Lies, in "Knowledge, Belief and Strategic Interaction" (Bicchieri, Dalla Chiara, Eds.), Cambridge Univ. Press, Cambridge, 1992.
31. 31. D. Mundici and G. Panti, Extending addition in Elliott's local semigroup, J. Fumet. Anal. 17 (1993), 461-472.
32. 32. A. J. Rodriguez, "Un estudio algebraico de los Cálculos Proposicionales de Łukasiewicz," doctoral dissertation, Universidad de Barcelona, 1980.
33. 33. M. H. Stone, A general theory of spectra, II, Proc. Nat. Acad. Sci. U.S.A. 27 (1941), 83-87.
34. 34. A. Tarski, "Logic, Semantics, Metamathematics," Clarendon, Oxford, 1956.
35. 35. A. Torrens, W-algebras which are Boolean products of members of SR[1] and CW-algebras, Studia Logica 46 (1987), 265-274.
36. 36. A. Torrens, Boolean products of CW-algebras and pseudo-complementation, Rep. Math. Logic 23 (1989), 31-38.
37. 37. T. Traczyk, On the variety of bounded commutative BCK-algebras, Math. Japon. 24 (1979), 263-272.