Abstract
Chang's MV algebras are the algebras of the infinite-valued sentential calculus of Łukasiewicz. We introduce finitely additive measures (called states) on MV algebras with the intent of capturing the notion of ‘average degree of truth’ of a proposition. Since Boolean algebras coincide with idempotent MV algebras, states yield a generalization of finitely additive measures. Since MV algebras stand to Boolean algebras as AFC*-algebras stand to commutative AFC*-algebras, states are naturally related to noncommutativeC*-algebraic measures.
Similar content being viewed by others
References
A. Bigard, K. Keimel and S. Wolfenstein,Groupes et Anneaux Réticulés, Springer Lecture Notes in Mathematics, vol. 608, 1977.
C. C. Chang, Algebraic analysis of many valued logics,Trans. Amer. Math. Soc.,88, 467–490, 1958.
C. C. Chang, A new proof of the completeness of the Łukasiewicz axioms,Trans. Amer. Math. Soc.,93, 74–80, 1959.
C. C. Chang andH. J. Keisler,Model Theory, North-Holland, Amsterdam, 1973.
R. Cignoli and D. Mundici, An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz,Studia Logica, to appear in a special issue on Reasoning with Incomplete Information, edited by Ewa Orlowska.
R. Cignoli, I. M. L. D'Ottaviano andD. Mundici,Algebras of many-valued sentential calculi of Łukasiewicz, (Portuguese), Collection CLE, Center of Logic, Epistemology and History of Science, State University of Campinas, SP, Brazil, 1995.
R. Cignoli, G. A. Elliott andD. Mundici, ReconstructingC*-algebras from their Murray von Neumann order,Advances in Math.,101, 166–179, 1993.
A. Di Nola, MV algebras in the treatment of uncertainty. In:Fuzzy Logic, R. Lowen and M. Roubens (eds.), pp. 123–131, Kluwer Academic Publishers, Dordrecht, 1993.
J. Dixmier,C*-algebras, North-Holland, Amsterdam, 1977.
G. A. Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras,J. Algebra,38, 29–44, 1976.
K. R. Goodearl,Notes on Real and Complex C*-Algebras, Shiva Math. Series, vol. 5, Birkhäuser, Boston, 1982.
K. R. Goodearl,Partially Ordered Abelian Groups with Interpolation, AMS Math. Surveys and Monographs, vol. 20, 1986.
I. Kaplansky, Lattices of continuous functions,Proc. Amer. Math. Soc.,53, 617–623, 1947.
S. Maeda, Probability measures on projections in von Neumann algebras,Reviews in Math. Phys.,1, 235–290, 1990.
R. McNaughton, A theorem about infinite-valued sentential logic,J. Symbolic Logic,16, 1–13, 1951.
D. Mundici, Interpretation of AFC*-algebras in Łukasiewicz sentential calculus,J. Functional Analysis,65, 15–63, 1986.
D. Mundici, A constructive proof of McNaughton's theorem in infinite-valued logic,J. Symbolic Logic,59, 596–602, 1994.
D. Mundici andG. Panti, Extending addition in Elliott's local semigroup,J. Functional Analysis,117, 461–472, 1993.
H. Rasiowa,An algebraic approach to non-classical logics, PWN, Warszawa, and North-Holland, Amsterdam, 1974.
A. Tarski and J. Łukasiewicz, Investigations into the Sentential Calculus. In:Logic, Semantics, Metamathematics, pp. 38–59, Oxford University Press, 1956. reprinted by Hackett Publishing Company, Indianapolis, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mundici, D. Averaging the truth-value in Łukasiewicz logic. Stud Logica 55, 113–127 (1995). https://doi.org/10.1007/BF01053035
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053035