zbMATH — the first resource for mathematics

Averaging the truth-value in Łukasiewicz logic. (English) Zbl 0836.03016
Summary: 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 AF \(C^*\)-algebras stand to commutative AF \(C^*\)-algebras, states are naturally related to noncommutative \(C^*\)-algebraic measures.

03B50 Many-valued logic
03G25 Other algebras related to logic
06D30 De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects)
46L89 Other “noncommutative” mathematics based on \(C^*\)-algebra theory
Full Text: DOI
[1] A. Bigard, K. Keimel and S. Wolfenstein,Groupes et Anneaux Réticulés, Springer Lecture Notes in Mathematics, vol. 608, 1977.
[2] C. C. Chang, Algebraic analysis of many valued logics,Trans. Amer. Math. Soc.,88, 467-490, 1958. · Zbl 0084.00704 · doi:10.1090/S0002-9947-1958-0094302-9
[3] C. C. Chang, A new proof of the completeness of the ?ukasiewicz axioms,Trans. Amer. Math. Soc.,93, 74-80, 1959. · Zbl 0093.01104
[4] C. C. Chang andH. J. Keisler,Model Theory, North-Holland, Amsterdam, 1973.
[5] 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. · Zbl 0876.03011
[6] 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.
[7] R. Cignoli, G. A. Elliott andD. Mundici, ReconstructingC*-algebras from their Murray von Neumann order,Advances in Math.,101, 166-179, 1993. · Zbl 0823.46053 · doi:10.1006/aima.1993.1046
[8] 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.
[9] J. Dixmier,C*-algebras, North-Holland, Amsterdam, 1977.
[10] G. A. Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras,J. Algebra,38, 29-44, 1976. · Zbl 0323.46063 · doi:10.1016/0021-8693(76)90242-8
[11] K. R. Goodearl,Notes on Real and Complex C*-Algebras, Shiva Math. Series, vol. 5, Birkhäuser, Boston, 1982.
[12] K. R. Goodearl,Partially Ordered Abelian Groups with Interpolation, AMS Math. Surveys and Monographs, vol. 20, 1986. · Zbl 0589.06008
[13] I. Kaplansky, Lattices of continuous functions,Proc. Amer. Math. Soc.,53, 617-623, 1947. · Zbl 0031.21902
[14] S. Maeda, Probability measures on projections in von Neumann algebras,Reviews in Math. Phys.,1, 235-290, 1990. · Zbl 0718.46046 · doi:10.1142/S0129055X89000122
[15] R. McNaughton, A theorem about infinite-valued sentential logic,J. Symbolic Logic,16, 1-13, 1951. · Zbl 0043.00901 · doi:10.2307/2268660
[16] D. Mundici, Interpretation of AFC*-algebras in ?ukasiewicz sentential calculus,J. Functional Analysis,65, 15-63, 1986. · Zbl 0597.46059 · doi:10.1016/0022-1236(86)90015-7
[17] D. Mundici, A constructive proof of McNaughton’s theorem in infinite-valued logic,J. Symbolic Logic,59, 596-602, 1994. · Zbl 0807.03012 · doi:10.2307/2275410
[18] D. Mundici andG. Panti, Extending addition in Elliott’s local semigroup,J. Functional Analysis,117, 461-472, 1993. · Zbl 0799.46077 · doi:10.1006/jfan.1993.1134
[19] H. Rasiowa,An algebraic approach to non-classical logics, PWN, Warszawa, and North-Holland, Amsterdam, 1974.
[20] 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.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.