zbMATH — the first resource for mathematics

MV-algebras, multiple bets and subjective states. (English) Zbl 0958.06007
The game of twenty questions with lies, first considered by Ulam and Rényi, is an important chapter of the theory of error correcting codes with feedback. See the survey paper by F. Cicalese, U. Vaccaro and the present reviewer [“Rota-Metropolis cubic logic and Ulam-Rényi games”, in: H. Crapo et al. (eds.), Algebraic combinatorics and computer sciene: a tribute to Gian Carlo Rota, Springer-Verlag, to appear]. The Ulam-Rényi game also yields a natural semantics for Łukasiewicz many-valued logic, and their algebras, Chang’s MV-algebras. See the monograph: R. Cignoli, I. M. L. D’Ottaviano, and D. Mundici, Algebraic foundations of many-valued reasoning [Trends in Logic, Studia Logica Library, Vol. 7, Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. Pursuing the approach of her own previous paper on betting in the Ulam-Rényi game [B. Gerla, “Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games”, Theor. Comput. Sci. 230, 149-166 (2000; Zbl 0949.06005)], in this paper the author interprets MV-algebraic operations as acting on bets. Finitely additive states on MV-algebras (as considered by the reviewer in “Averaging the truth-value in Łukasiewicz logic” [Stud. Log. 55, No. 1, 113-127 (1995; Zbl 0836.03016)] are then interpeted in terms of De Finetti’s “fair betting systems”.

MSC:
 06D35 MV-algebras 91A05 2-person games 60B99 Probability theory on algebraic and topological structures
Full Text:
References:
 [1] Berlekamp, E.R., Block coding for the binary symmetric channel with feedback, (), 330-335 · Zbl 0253.94006 [2] S. Burris, H.P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, vol. 78, Springer, New York, 1981 · Zbl 0478.08001 [3] Chang, C.C., Algebraic analysis of many-valued logics, Trans. am. math. soc., 88, 467-490, (1958) · Zbl 0084.00704 [4] R. Cignoli, I.M.L. D’Ottaviano, D. Mundici, Algebraic foundations of many-valued reasoning, in: Trends in Logic, vol. 7, Kluwer Academic Publishers, Dordrecht, 2000 [5] B. de Finetti, Teoria della probabilità, Einaudi, Torino, 1970 (English Trans.; Theory of probability, Wiley, Chichester, 1974 [6] Dershowitz, N.; Jounnaud, J.P., Rewrite systems, (), 243-320 · Zbl 0900.68283 [7] Di Nola, A.; Georgescu, G.; Lettieri, A., Conditional states in finite valued logic, () · Zbl 0942.06004 [8] Drossos, C.A., A many-valued generalization of the ultra-power costruction, () [9] Gerla, B., Conditioning a state by a $$L̵$$ukasiewicz event: a probabilistic approach to Ulam games, Theoretical computer science, 230, 149-166, (2000) · Zbl 0949.06005 [10] Kemeny, J.G., Fair bets and inductive probabilities, Journal of symbolic logic, 20, 263-273, (1955) · Zbl 0066.11002 [11] Mundici, D., Logic of infinite quantum systems, International journal of theoretical physics, 32, 1941-1955, (1993) · Zbl 0799.03019 [12] Mundici, D., Averaging the truth value in $$L̵$$ukasiewicz sentential logic (special issue in honor of helena rasiowa), Studia logica, 55, 113-127, (1995) [13] A. Tarski, J. $$L̵$$ukasiewicz , Investigations into the Sentential Calculus, Logic, Semantics, Metamathematics, Oxford University Press, Oxford, 1956, pp. 38-59 (reprinted by Hackett Publishing Company, Indianapolis, 1983)
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.