Skip to main content
×
×
Home

STRICT COHERENCE ON MANY-VALUED EVENTS

  • TOMMASO FLAMINIO (a1), HYKEL HOSNI (a2) and FRANCO MONTAGNA
Abstract

We investigate the property of strict coherence in the setting of many-valued logics. Our main results read as follows: (i) a map from an MV-algebra to [0,1] is strictly coherent if and only if it satisfies Carnap’s regularity condition, and (ii) a [0,1]-valued book on a finite set of many-valued events is strictly coherent if and only if it extends to a faithful state of an MV-algebra that contains them. Remarkably this latter result allows us to relax the rather demanding conditions for the Shimony-Kemeny characterisation of strict coherence put forward in the mid 1950s in this Journal.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      STRICT COHERENCE ON MANY-VALUED EVENTS
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      STRICT COHERENCE ON MANY-VALUED EVENTS
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      STRICT COHERENCE ON MANY-VALUED EVENTS
      Available formats
      ×
Copyright
References
Hide All
[1]Bezhanishvili, G., Locally finite varieties. Algebra Universalis, vol. 46 (2001), pp. 531548.
[2]Bova, S. and Flaminio, T., The coherence of Łukasiewicz assessments is NP-complete. International Journal of Approximate Reasoning, vol. 51 (2010), no. 3, pp. 294304.
[3]Burris, S. and Sankappanavar, H., A Course in Universal Algebra, Springer-Velag, New York, 1981.
[4]Carnap, R., The Logical Foundations of Probability, University of Chicago Press, Chicago, 1950.
[5]Chang, C. C., Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), no. 2, pp. 467490.
[6]Cignoli, R., D’Ottaviano, I. M. L., and Mundici, D., Algebraic Foundations of Many-Valued Reasoning, Kluwer Academic Publishers, Dordrecht, Boston, London, 1999.
[7]Cignoli, R. and Marra, V., Stone duality for real-valued multisets. Forum Mathematicum, vol. 24 (2012), pp. 13171331.
[8]de Finetti, B, Sul significato soggettivo della probabilità. Fundamenta Mathematicae, vol. 17 (1931), pp. 289329.
[9]de Finetti, B, Theory of Probability, vol. 1, John Wiley and Sons, New York, 1974.
[10]Di Nola, A. and Leuştean, I., Łukasiewicz logic and Riesz spaces. Soft Computing, vol. 18 (2014), no. 12, pp. 23492363.
[11]Ewald, G., Combinatorial Convexity and Algebraic Geometry, Springer-Verlag, New York, 1996.
[12]Fedel, M., Keimel, K., Montagna, F., and Roth, W., Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Forum Mathematicum, vol. 25 (2013), no. 2, pp. 405441.
[13]Flaminio, T., Godo, L., and Hosni, H., On the logical structure of de Finetti’s notion of event. Journal of Applied Logic, vol. 12 (2014), no. 3, pp. 279301.
[14]Flaminio, T. and Kroupa, T., States of MV-algebras, Handbook of Mathematical Fuzzy Logic, vol. 3 (Fermüller, C., Cintula, P., and Noguera, C., editors), College Publications, London, 2015, pp. 11911245.
[15]Flaminio, T., Hosni, H., and Lapenta, S., Convex MV-algebras: Many-valued logics meet decision theory. Studia Logica, forthcoming, doi: 10.1007/s11225-016-9705-9.
[16]Gaifman, H., Concerning measures on Boolean algebras. Pacific Journal of Mathematics, vol. 14 (1964), no. 1, pp. 6173.
[17]Goodearl, K. R., Partially Ordered Abelian Groups with Interpolation, vol. 20, American Mathematical Society, Providence, RI, 2010.
[18]Goodearl, K. R., On falling short of strict coherence. Philosophy of Science, vol. 35 (1968), no. 3, pp. 284286.
[19]Hosni, H. and Montagna, F., Stable non-standard imprecise probabilities, IPMU 2104, (Laurent, A., Strauss, O., Bouchon-Meunier, B., and Yager, R. R., editors), Communications in Computer and Information Sciences, 444, Springer, Cham, Heidelberg, New York, Dordrecht, London, 2014, pp. 436445.
[20]Kelley, J. L., Measures on Boolean Algebras. Pacific Journal of Mathematics, vol. 9 (1959), no. 4, pp. 11651177.
[21]Kemeny, J. G., Fair bets and inductive probabilities, this Journal, vol. 20 (1955), no. 3, pp. 263–273.
[22]Kroupa, T., Every state on semisimple MV-algebra is integral. Fuzzy Sets and Systems, vol. 157 (2006), no. 20, pp. 27712782.
[23]Kühr, J. and Mundici, D., De Finetti theorem and Borel states in [0,1]-valued algebraic logic. International Journal of Approximate Reasoning, vol. 46 (2007), no. 3, pp. 605616.
[24]Lehman, R. L., On confirmation and rational betting, this Journal, vol. 20 (1955), no. 3, pp. 251–262.
[25]Leuştean, I., Metric completions of MV-algebras with states: An approach to stochastic independence. Journal of Logic and Computation, vol. 21 (2011), no. 3, pp. 493508.
[26]Luxemburg, W. A. J. and Zaanen, A. C., Riesz Spaces I, North-Holland, Amsterdam, 1971.
[27]McMullen, P. and Shephard, G. C., Convex Polytopes and the Upper Bound Conjecture, London Mathematical Society Lecture Note Series 3, Cambridge University Press, London-New York, 1971.
[28]Montagna, F., Fedel, M., and Scianna, G., Non-standard probability, coherence and conditional probability on many-valued events. International Journal of Approximate Reasoning, vol. 54 (2013), no. 5, pp. 573589.
[29]Mundici, D., Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis, vol. 65 (1986), no. 1, pp. 1563.
[30]Mundici, D., Averaging the truth-value in Łukasiewicz logic. Studia Logica, vol. 55 (1995), no. 1, pp. 113127.
[31]Mundici, D., Bookmaking over infinite-valued events. International Journal of Approximate Reasoning, vol. 43 (2006), no. 3, pp. 223240.
[32]Mundici, D., Advanced Łukasiewicz calculus and MV-algebras, Springer Verlag, Dordrecht, Heidelberg, London, New York, 2011.
[33]Mundici, D., Coherence of de Finetti coherence. Synthese, vol. 194 (2017), no. 10, pp. 40554063.
[34]Panti, G., Invariant Measures in Free MV-Algebras. Communications in Algebra, vol. 36 (2008), no. 8, pp. 28492861.
[35]Paris, J., A note on the Dutch Book method, Proceedings of the Second International Symposium on Imprecise Probabilities and their Applications (De Cooman, G., Fine, T., and Seidenfeld, T., editors), ISIPTA 2001, Shaker Publishing Company, Ithaca, NY, USA, 2001, pp. 301306.
[36]Paris, J., The Uncertain Reasoner’s Companion: A Mathematical Perspective, Cambridge University Press, Cambridge, UK, 1994.
[37]Paris, J. B. and Vencovska, A., Pure Inductive Logic, Cambridge University Press, Cambridge, UK, 2015.
[38]Shimony, A., Coherence and the axioms of confirmation, this Journal, vol. 20 (1955), no. 1, pp. 1–28.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 1
Total number of PDF views: 43 *
Loading metrics...

Abstract views

Total abstract views: 206 *
Loading metrics...

* Views captured on Cambridge Core between 12th February 2018 - 16th August 2018. This data will be updated every 24 hours.