{"id":12241,"date":"2023-09-18T16:27:45","date_gmt":"2023-09-18T16:27:45","guid":{"rendered":"https:\/\/blogs.uned.es\/metis\/?page_id=12241"},"modified":"2023-09-25T09:36:52","modified_gmt":"2023-09-25T09:36:52","slug":"12241-2","status":"publish","type":"page","link":"https:\/\/blogs.uned.es\/metis\/seminar\/12241-2\/","title":{"rendered":"Tommaso Flaminio"},"content":{"rendered":"\n<p><strong>Tommaso Flaminio: Local reduction of probabilistic reasoning to Lukasiewicz logic and MV-algebras<\/strong><\/p>\n\n\n\n<p>Tuesday November 21 2023 @12:00 (CEST)<br><a href=\"https:\/\/www.google.com\/maps\/place\/UNED+-+Humanidades\/@40.4366067,-3.7379162,17z\/data=!3m2!4b1!5s0xd4228238189d7b7:0x62044c79ae77dfac!4m6!3m5!1s0xd42295f507d8465:0xc8bff2c2c262c868!8m2!3d40.4366067!4d-3.7353359!16s%2Fg%2F11d_d4qny9?entry=ttu\">Sala B, Edificio de Humanidades, UNED<\/a>&nbsp;&amp;&nbsp;<a href=\"https:\/\/blogs.uned.es\/metis\/contact\/\">online<\/a><\/p>\n\n\n\n<p><em>Abstract<\/em><br>We will present proof-theoretical and algebraic properties for the probability logics FP(C,L) and FP(L,L), meant for reasoning on the uncertainty of Classical and Lukasiewicz events, respectively. Methodologically speaking, we will consider a translation function between formulas of these logics to the propositional language of Lukasiewicz calculus that allows us to apply the latter and the well developed theory of MV-algebras directly to probabilistic reasoning. More precisely, leveraging on such translation map, we will show proof-theoretical properties for FP(L,L) and introduce a class of algebras with respect to which FP(C,L) and FP(L,L) are proved to be locally sound and complete.<\/p>\n\n\n\n<p><em>Bio<\/em><br><a href=\"https:\/\/www.iiia.csic.es\/en-us\/people\/person\/?person_id=16\">Tommaso Flaminio<\/a> is Tenured Scientist (Cienti\u0301fico Titular) at the Artificial Research Institute (IIIA) of the Spanish National Research Council (CSIC), Barcelona, Spain.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tommaso Flaminio: Local reduction of probabilistic reasoning to Lukasiewicz logic and MV-algebras Tuesday November 21 2023 @12:00 (CEST)Sala B, Edificio de Humanidades, UNED&nbsp;&amp;&nbsp;online AbstractWe will present proof-theoretical and algebraic properties for the probability logics FP(C,L) and FP(L,L), meant for reasoning on the uncertainty of Classical and Lukasiewicz events, respectively. Methodologically speaking, we will consider a [&hellip;]<\/p>\n","protected":false},"author":7717,"featured_media":0,"parent":11563,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12241","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12241","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/users\/7717"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/comments?post=12241"}],"version-history":[{"count":3,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12241\/revisions"}],"predecessor-version":[{"id":12315,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/12241\/revisions\/12315"}],"up":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/11563"}],"wp:attachment":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/media?parent=12241"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}