Author:
Barbieri Giuseppina Gerarda,Di Nola Antonio,Lenzi Giacomo
Abstract
AbstractIn this paper we study the set of MV-algebras with given prime spectrum and we introduce the class of spectral MV-algebras. An MV-algebra is spectral if it is generated by the union of all its prime ideals (or proper ideals, or principal ideals, or maximal ideals). Among spectral MV-algebras, special attention is devoted to bipartite MV-algebras. An MV-algebra is bipartite if it admits an homomorphism onto the MV-algebra of two elements. We prove that both bipartite MV-algebras and spectral MV-algebras can be finitely axiomatized in first order logic. We also prove that there is only, up to isomorphism, a set of MV-algebras with given prime spectrum. A further part of the paper is devoted to some relations between bipartite MV-algebras and their states. Recall that a state on an MV-algebra is a generalization of a probability measure on a Boolean algebra. Particular states are the states with Bayes’ property. We show that an MV-algebra admits a state with the Bayes’ property if and only if it is bipartite.
Funder
Università degli Studi di Salerno
Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. Ambrosio, R., Lettieri, A.: A classification of bipartite MV-algebras. Math. Jpn. 38(1), 111–117 (1993)
2. Barbieri, G., Weber, H.: Measures on clans and on MV-algebras. In: Handbook of Measure Theory Kluwer Endre Pap editor, pp. 911–945 (2002)
3. Belluce, L.P., Di Nola, A., Gerla, B.: Perfect MV-algebras and their logics. Appl. Categ. Struct. 15, 135–151 (2007)
4. Caramello, O., Russo, A.C.: On the geometric theory of local MV-algebras. J. Algebra 479, 263–313 (2017)
5. Cignoli, R., D’Ottaviano, I.M., Mundici, D.: Algebraic foundations of many-valued reasoning. In: Trends in Logic Studia Logica Library, 7, x+231. Kluwer Academic Publishers, Dordrecht (2000)