Skip Navigation



Journal of Logic and Computation Advance Access published online on September 17, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp061
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Montagna, F.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

A Notion of Coherence for Books on Conditional Events in Many-valued Logic

Franco Montagna

Department of Mathematics and Computer Science, University of Siena Pian dei Mantellini 44,53100 Siena, Italy.
E-mail: montagna{at}unisi.it

Received 12 August 2008.

We introduce a new approach to conditional probability over many-valued events, which is based on bets. Then we show that this approach fits with Kroupa's approach, and we give two characterizations of coherence for books on conditional many-valued events, the first one based on states, and the second one based on logical coherence of a suitable theory on many-valued logic.

Keywords: States; conditional probability; SPMV+ algebras



References

  1. Blok W, Pigozzi D. Algebraizable logics. Memoirs of the American Mathematical Society (1989) 396.
  2. Burris S, Sankappanavar HP. A Course in Universal Algebra (1981) Springer Verlag.
  3. Canny FJ. Some algebraic and geometric computation in PSPACE. (1988) ACM, New York, USA. 460–467. In Proceedings of the 20th ACM Symposium on Theory of Computing.
  4. Chang CC. A new proof of the completeness of Lukasiewicz axioms. Transaction of the American Mathematical Society (1989) 93:74–80.
  5. Cignoli R, D’Ottaviano I, Mundici D. Algebraic Foundations of Many-valued Reasoning (2000) Kluwer.
  6. Coletti G, Scozzafava R. Probabilistic Logic in a Coherent Setting (2002) Kluwer.
  7. de Finetti B. Sul significato soggettivo della probabilitá [On the subjective meaning of probability]. Fundamenta Mathematicae (1931) 17:298–329. (in Italian).
  8. de Finetti B. Theory of Probability (1974) I. John Wiley and sons.
  9. Flaminio T, Godo L. A logic for reasoning on the probability of fuzzy events. Fuzzy Sets and Systems (2007) 158:625–638.[CrossRef][Web of Science]
  10. Flaminio T, Montagna F. MV-algebras with internal states and probabilistic fuzzy logics. International Journal of Approximate Reasoning (2009) 50:138–152.[CrossRef][Web of Science]
  11. Jensen JLWV. Sur les fonctions convexes at les inégalités entre les valeurs moyennes. Acta Mathematica (1906) 30:175–193.[CrossRef][Web of Science]
  12. Hájek P. Metamathematics of Fuzzy Logic (1998) Kluwer.
  13. H’ájek P. Complexity of fuzzy probability logics II. Fuzzy Sets and Systems (2007) 158:2605–2611.[CrossRef][Web of Science]
  14. Kroupa T. States and Conditional Probability on MV-algebras (2005) Prague: Czech Technical University in Prague, Faculty of Electrical Engineering, Department of Cybernetics. PhD Thesis.
  15. Kroupa T. Every state on a semisimple MV-algebra is integral. Fuzzy Sets and Systems (2006) 157:2771–2787.[CrossRef][Web of Science]
  16. Kroupa T. Conditional probability over MV-algebras. Fuzzy Sets and Systems (2005) 149:369–384.[CrossRef][Web of Science]
  17. Kühr J, Mundici D. de Finetti theorem and Borel states in [0,1]-valued algebraic logic. International Journal of Approximate Reasoning (2007) 46:605–616.[CrossRef][Web of Science]
  18. Montagna F. Subreducts of MV-algebras with product and product residuation, Algebra Universalis (2005) 53:109–137.[CrossRef][Web of Science]
  19. Montagna F. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language and Information (2000) 9:91–124.[CrossRef]
  20. Mundici D. Averaging the truth value in Lukasiewicz logic. Studia Logical (1995) 55:113–127.[CrossRef]
  21. Mundici D. Tensor product and the Loomis Sikorski theorem for MV-algebras. Advances in Applied Mathematics (1999) 22:227–248.[CrossRef][Web of Science]
  22. Mundici D. Bookmaking over infinite-valued events. International Journal of Approximate Reasoning (2006) 46:223–240.
  23. Mundici D. Faithful and Invariant Conditional Probability in Lukasiewicz Logic. In: Trends in Logic 27: Towards Mathematical Philosophy—Makinson D, Malinowski J, Wansing H, eds. (2008) Springer. 1–20.
  24. Panti G. Invariant measures in free MV-algebras. Communications in Algebra (2005) to appear, available at Arxiv preprint math. LO/0508445.
  25. Paris J. A note on the Dutch Book method. De Cooman G, Fine T, Seidenfield T, eds. (2001) Ithaca, NY, USA: Shaker Publishing Company. 3001–3006. In Proceedings of the Second International Symposium on Imprecise Probabilities and their Applications, ISIPTA 2001. Available at http://www.maths.manchester.ac.uk/jeff/.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Montagna, F.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?