Partially Undetermined Many-Valued Events and Their Conditional Probability
- First Online:
- 79 Downloads
A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and algebraic setting, and we find a logical characterization of coherence for assessments of partially undetermined events.
KeywordsMany-valued logic Conditional probability States
Unable to display preview. Download preview PDF.
- 2.Blok, W., & Pigozzi, D. (1989). Algebraizable logics. In Memoirs of the American Mathematical Society (Vol. 396(77)). Providence: American Mathematical Society.Google Scholar
- 5.Canny, F. J. (1988). Some algebraic and geometric computation in PSPACE. In Proc. 20th ACM symp. on theory of computing (pp. 460–467).Google Scholar
- 6.Chang, C. C. (1989). A new proof of the completeness of Łukasiewicz axioms. Transactions of the American Mathematical Society, 93, 74–80.Google Scholar
- 9.Czelakowski, J. (2001). Protoalgebraic logics. Dordrecht: Kluwer.Google Scholar
- 18.Montagna, F. (2009). A notion of coherence for books on conditional events in many-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exp061. First published online: 17 September 2009.
- 21.Mundici, D. (2008). Faithful and invariant conditional probability in Łukasiewicz logic. In D. Makinson, J. Malinowski, & H. Wansing (Eds.), Trends in logic 27: Towards mathematical philosophy (pp. 1–20). Springer.Google Scholar
- 23.Papadimitriu, C. H. (1994). Computational complexity. Addison-Wesley.Google Scholar
- 24.Paris, J. B. (2001). A note on the Dutch Book Method. In T. S. Gert De Cooman, & T. Fine (Eds.), ISIPTA ’01, Proceedings of the second international symposium on imprecise probabilities and their applications, Ithaca, NY, USA. Shaker.Google Scholar