Abstract
Flaminio and Montagna recently introduced state MV-algebras as MV-algebras with an internal notion of a state. The present authors gave a stronger version of state MV-algebras, called state-morphism MV-algebras. We present some classes of state-morphism MV-algebras like local, simple, semisimple state-morphism MV-algebras, and state-morphism MV-algebras with retractive ideals. Finally, we describe state-morphism operators on m-free generated MV-algebras, m < ∞.
[1] CHANG, C. C.: Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490. http://dx.doi.org/10.2307/199322710.2307/1993227Search in Google Scholar
[2] CIGNOLI, R.— D’OTTAVIANO, I. M. L.— MUNDICI, D.: Algebraic Foundations of Many-valued Reasoning, Kluwer Academic Publ., Dordrecht, 2000. 10.1007/978-94-015-9480-6Search in Google Scholar
[3] DI NOLA, A.— DVUREČENSKIJ, A.: State-morphism MV-algebras, Ann. Pure Appl. Logic 161 (2009), 161–173. http://dx.doi.org/10.1016/j.apal.2009.05.00310.1016/j.apal.2009.05.003Search in Google Scholar
[4] DI NOLA, A.— ESPOSITO, I.— GERLA, B.: Local algebras in the representation of MV-algebras, Algebra Universalis 56 (2007), 133–164. http://dx.doi.org/10.1007/s00012-007-1984-610.1007/s00012-007-1984-6Search in Google Scholar
[5] DI NOLA, A.— GRIGOLIA, R.: On projective MV-algebras Ann. Pure Appl. Logic (Submitted). Search in Google Scholar
[6] DI NOLA, A.— LETTIERI, A.: Perfect MV-algebras are categorical equivalent to abelian ł-groups, Studia Logica 53 (1994), 417–432. http://dx.doi.org/10.1007/BF0105793710.1007/BF01057937Search in Google Scholar
[7] DVUREČENSKIJ, A.— PULMANNOVÁ, S.: New Trends in Quantum Structures, Kluwer Acad. Publ./Ister Science, Dordrecht/Bratislava, 2000. 10.1007/978-94-017-2422-7Search in Google Scholar
[8] FLAMINIO, T.— MONTAGNA, F.: An algebraic approach to states on MV-algebras. In: Fuzzy Logic 2, Proc. of the 5th EUSFLAT Conf., Sept. 11–14, 2007, Ostrava, Vol. II (V. Novák, ed.), pp. 201–206. Search in Google Scholar
[9] GOODEARL, K. R.: Partially Ordered Abelian Groups with Interpolation. Math. Surveys Monogr. 20, Amer. Math. Soc., Providence, RI, 1986. Search in Google Scholar
[10] KÔPKA, F.— CHOVANEC, F.: D-posets, Math. Slovaca 44 (1994), 21–34. Search in Google Scholar
[11] KROUPA, T.: Every state on semisimple MV-algebra is integral, Fuzzy Sets and Systems 157 (2006), 2771–2782. http://dx.doi.org/10.1016/j.fss.2006.06.01510.1016/j.fss.2006.06.015Search in Google Scholar
[12] KÜUHR, J.— MUNDICI, D.: De Finetti theorem and Borel states in [0, 1]-valued algebraic logic, Internat. J. Approx. Reason. 46 (2007), 605–616. http://dx.doi.org/10.1016/j.ijar.2007.02.00510.1016/j.ijar.2007.02.005Search in Google Scholar
[13] MUNDICI, D.: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15–63. http://dx.doi.org/10.1016/0022-1236(86)90015-710.1016/0022-1236(86)90015-7Search in Google Scholar
[14] MUNDICI, D.: Averaging the truth-value in Łukasiewicz logic, Studia Logica 55 (1995), 113–127. http://dx.doi.org/10.1007/BF0105303510.1007/BF01053035Search in Google Scholar
[15] RIEČAN, B.— MUNDICI, D.: Probability on MV-algebras. In: Handbook of Measure Theory, Vol. II (E. Pap, ed.), Elsevier Science, Amsterdam, 2002, pp. 869–909. Search in Google Scholar
© 2009 Mathematical Institute, Slovak Academy of Sciences
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
