Nonclassical probability and convex hulls. (English) Zbl 1417.03170
Summary: It is well known that the convex hull of the classical truth value functions contains all and only the probability functions. Work by Paris and Williams has shown that this also holds for various kinds of nonclassical logics too. This note summarises the formal details of this topic and extends the results slightly.
References:
| [1] | Bell, J. L., & Slomson, A. B. (1969). Models and ultraproducts: An introduction. Amsterdam: North-Holland. · Zbl 0179.31402 |
| [2] | Birkhoff, G., & Maclane, S. (1977). A survey of modern algebra (4th ed.). London: Macmillan. · Zbl 0365.00006 |
| [3] | Blackburn, P., de Rijke, M., & Venema, Y. (2002). Modal logic. Cambridge: Cambridge University Press. · Zbl 0988.03006 |
| [4] | Choquet, G. (1954). Theory of capacities. Annales d’Institute Fourier, 5, 131-295. · Zbl 0064.35101 · doi:10.5802/aif.53 |
| [5] | Dunn, J. M., & Hardegree, G. M. (2001). Algebraic methods in philosophical logic. Oxford: Oxford University Press. · Zbl 1014.03002 |
| [6] | Fan, K. (1963). On the Krein-Milman theorem. In V. Klee (Ed.), Convexity, volume 7 of proceedings of symposia in pure mathematics (pp. 211-219). · Zbl 0139.30003 |
| [7] | Gerla, B. (2000). MV-algebras, multiple bets and subjective states. International Journal of Approximate Reasoning, 25, 1-13. · Zbl 0958.06007 · doi:10.1016/S0888-613X(00)00044-X |
| [8] | Horn, A. (1978). Free S5 algebras. Notre Dame Journal of Formal Logic, XIX, 189-191. · Zbl 0368.02023 · doi:10.1305/ndjfl/1093888226 |
| [9] | Jaffray, J.-Y. (1989). Coherent bets under partially resolving uncertainty and belief functions. Theory and Decision, 26, 90-105. · Zbl 0673.90003 · doi:10.1007/BF00159221 |
| [10] | Mundici, D. (1995). Averaging the truth-value in łukasiewicz logic. Studia Logica, 55, 113-127. · Zbl 0836.03016 · doi:10.1007/BF01053035 |
| [11] | Mundici, D. (2007). MV algebras: A short tutorial. http://www.matematica.uns.edu.ar/IXCongresoMonteiro/Comunicaciones/Mundici_tutorial · Zbl 1261.03066 |
| [12] | Paris, J. B. (2005). A note on the Dutch book method. In Proceedings of the second international symposium on imprecise probabilities and their applications, 2001 (pp. 301-306). |
| [13] | Rota, G.-C. (1964). On the foundations of combinatorial theory I theory of Möbius functions. Zeitschrift für Wahrscheinlichkeitstheorie un Verwandte Gebiete, 2, 340-368. · Zbl 0121.02406 · doi:10.1007/BF00531932 |
| [14] | Shafer, G. (1976). A mathematical theory of evidence. Princeton: Princeton University Press. · Zbl 0359.62002 |
| [15] | Stanley, R. P. (2012). Enumerative combinatorics (2nd ed., Vol. 1). Cambridge: Cambridge University Press. · Zbl 1247.05003 |
| [16] | Williams, J. R. G. (2012a). Generalised probabilism: Dutch books and accuracy domination. Journal of Philosophical Logic, 41, 811-840. · Zbl 1272.03060 · doi:10.1007/s10992-011-9192-4 |
| [17] | Williams, J. R. G. (2012b). Gradational accuracy and non-classical semantics. Review of Symbolic Logic, 5, 513-537. · Zbl 1261.03066 · doi:10.1017/S1755020312000214 |
| [18] | Williams, J. R. G. (2016). Non-classical logic and probability. In A. Hájek, & C. Hitchcock (Eds.), Oxford companion to philosophy of probability. Oxford University Press. · Zbl 0958.06007 |
| [19] | Zhou, C. (2013). Belief functions on distributive lattices. Artificial Intelligence, 201, 1-31. · Zbl 1334.68215 · doi:10.1016/j.artint.2013.05.003 |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
