{"id":4416,"date":"2023-05-16T08:02:15","date_gmt":"2023-05-16T08:02:15","guid":{"rendered":"https:\/\/isipta23.sipta.org\/?page_id=4416"},"modified":"2023-07-14T11:10:21","modified_gmt":"2023-07-14T11:10:21","slug":"long-lapenta","status":"publish","type":"page","link":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/","title":{"rendered":"Long Lapenta"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"4416\" class=\"elementor elementor-4416\" data-elementor-post-type=\"page\">\n\t\t\t\t\t\t\t\t\t<section data-eae-particle=\"{\n  &quot;particles&quot;: {\n    &quot;number&quot;: {\n      &quot;value&quot;: 80,\n      &quot;density&quot;: {\n        &quot;enable&quot;: true,\n        &quot;value_area&quot;: 800\n      }\n    },\n    &quot;color&quot;: {\n      &quot;value&quot;: &quot;#ffffff&quot;\n    },\n    &quot;shape&quot;: {\n      &quot;type&quot;: &quot;circle&quot;,\n      &quot;stroke&quot;: {\n        &quot;width&quot;: 0,\n        &quot;color&quot;: &quot;#000000&quot;\n      },\n      &quot;polygon&quot;: {\n        &quot;nb_sides&quot;: 5\n      },\n      &quot;image&quot;: {\n        &quot;src&quot;: &quot;img\/github.svg&quot;,\n        &quot;width&quot;: 100,\n        &quot;height&quot;: 100\n      }\n    },\n    &quot;opacity&quot;: {\n      &quot;value&quot;: 0.5,\n      &quot;random&quot;: false,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 1,\n        &quot;opacity_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;size&quot;: {\n      &quot;value&quot;: 3,\n      &quot;random&quot;: true,\n      &quot;anim&quot;: {\n        &quot;enable&quot;: false,\n        &quot;speed&quot;: 40,\n        &quot;size_min&quot;: 0.1,\n        &quot;sync&quot;: false\n      }\n    },\n    &quot;line_linked&quot;: {\n      &quot;enable&quot;: true,\n      &quot;distance&quot;: 150,\n      &quot;color&quot;: &quot;#ffffff&quot;,\n      &quot;opacity&quot;: 0.4,\n      &quot;width&quot;: 1\n    },\n    &quot;move&quot;: {\n      &quot;enable&quot;: true,\n      &quot;speed&quot;: 6,\n      &quot;direction&quot;: &quot;none&quot;,\n      &quot;random&quot;: false,\n      &quot;straight&quot;: false,\n      &quot;out_mode&quot;: &quot;out&quot;,\n      &quot;bounce&quot;: false,\n      &quot;attract&quot;: {\n        &quot;enable&quot;: false,\n        &quot;rotateX&quot;: 600,\n        &quot;rotateY&quot;: 1200\n      }\n    }\n  },\n  &quot;interactivity&quot;: {\n    &quot;detect_on&quot;: &quot;canvas&quot;,\n    &quot;events&quot;: {\n      &quot;onhover&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;repulse&quot;\n      },\n      &quot;onclick&quot;: {\n        &quot;enable&quot;: true,\n        &quot;mode&quot;: &quot;push&quot;\n      },\n      &quot;resize&quot;: true\n    },\n    &quot;modes&quot;: {\n      &quot;grab&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;line_linked&quot;: {\n          &quot;opacity&quot;: 1\n        }\n      },\n      &quot;bubble&quot;: {\n        &quot;distance&quot;: 400,\n        &quot;size&quot;: 40,\n        &quot;duration&quot;: 2,\n        &quot;opacity&quot;: 8,\n        &quot;speed&quot;: 3\n      },\n      &quot;repulse&quot;: {\n        &quot;distance&quot;: 200,\n        &quot;duration&quot;: 0.4\n      },\n      &quot;push&quot;: {\n        &quot;particles_nb&quot;: 4\n      },\n      &quot;remove&quot;: {\n        &quot;particles_nb&quot;: 2\n      }\n    }\n  },\n  &quot;retina_detect&quot;: true\n}\" class=\"elementor-section elementor-top-section elementor-element elementor-element-922e127 elementor-section-height-min-height eae-particle-yes elementor-section-boxed elementor-section-height-default elementor-section-items-middle\" data-id=\"922e127\" data-element_type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;shape_divider_bottom&quot;:&quot;wave-brush&quot;}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" data-negative=\"false\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 283.5 27.8\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M283.5,9.7c0,0-7.3,4.3-14,4.6c-6.8,0.3-12.6,0-20.9-1.5c-11.3-2-33.1-10.1-44.7-5.7\ts-12.1,4.6-18,7.4c-6.6,3.2-20,9.6-36.6,9.3C131.6,23.5,99.5,7.2,86.3,8c-1.4,0.1-6.6,0.8-10.5,2c-3.8,1.2-9.4,3.8-17,4.7\tc-3.2,0.4-8.3,1.1-14.2,0.9c-1.5-0.1-6.3-0.4-12-1.6c-5.7-1.2-11-3.1-15.8-3.7C6.5,9.2,0,10.8,0,10.8V0h283.5V9.7z M260.8,11.3\tc-0.7-1-2-0.4-4.3-0.4c-2.3,0-6.1-1.2-5.8-1.1c0.3,0.1,3.1,1.5,6,1.9C259.7,12.2,261.4,12.3,260.8,11.3z M242.4,8.6\tc0,0-2.4-0.2-5.6-0.9c-3.2-0.8-10.3-2.8-15.1-3.5c-8.2-1.1-15.8,0-15.1,0.1c0.8,0.1,9.6-0.6,17.6,1.1c3.3,0.7,9.3,2.2,12.4,2.7\tC239.9,8.7,242.4,8.6,242.4,8.6z M185.2,8.5c1.7-0.7-13.3,4.7-18.5,6.1c-2.1,0.6-6.2,1.6-10,2c-3.9,0.4-8.9,0.4-8.8,0.5\tc0,0.2,5.8,0.8,11.2,0c5.4-0.8,5.2-1.1,7.6-1.6C170.5,14.7,183.5,9.2,185.2,8.5z M199.1,6.9c0.2,0-0.8-0.4-4.8,1.1\tc-4,1.5-6.7,3.5-6.9,3.7c-0.2,0.1,3.5-1.8,6.6-3C197,7.5,199,6.9,199.1,6.9z M283,6c-0.1,0.1-1.9,1.1-4.8,2.5s-6.9,2.8-6.7,2.7\tc0.2,0,3.5-0.6,7.4-2.5C282.8,6.8,283.1,5.9,283,6z M31.3,11.6c0.1-0.2-1.9-0.2-4.5-1.2s-5.4-1.6-7.8-2C15,7.6,7.3,8.5,7.7,8.6\tC8,8.7,15.9,8.3,20.2,9.3c2.2,0.5,2.4,0.5,5.7,1.6S31.2,11.9,31.3,11.6z M73,9.2c0.4-0.1,3.5-1.6,8.4-2.6c4.9-1.1,8.9-0.5,8.9-0.8\tc0-0.3-1-0.9-6.2-0.3S72.6,9.3,73,9.2z M71.6,6.7C71.8,6.8,75,5.4,77.3,5c2.3-0.3,1.9-0.5,1.9-0.6c0-0.1-1.1-0.2-2.7,0.2\tC74.8,5.1,71.4,6.6,71.6,6.7z M93.6,4.4c0.1,0.2,3.5,0.8,5.6,1.8c2.1,1,1.8,0.6,1.9,0.5c0.1-0.1-0.8-0.8-2.4-1.3\tC97.1,4.8,93.5,4.2,93.6,4.4z M65.4,11.1c-0.1,0.3,0.3,0.5,1.9-0.2s2.6-1.3,2.2-1.2s-0.9,0.4-2.5,0.8C65.3,10.9,65.5,10.8,65.4,11.1\tz M34.5,12.4c-0.2,0,2.1,0.8,3.3,0.9c1.2,0.1,2,0.1,2-0.2c0-0.3-0.1-0.5-1.6-0.4C36.6,12.8,34.7,12.4,34.5,12.4z M152.2,21.1\tc-0.1,0.1-2.4-0.3-7.5-0.3c-5,0-13.6-2.4-17.2-3.5c-3.6-1.1,10,3.9,16.5,4.1C150.5,21.6,152.3,21,152.2,21.1z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M269.6,18c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC267.7,18.8,269.7,18,269.6,18z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M227.4,9.8c-0.2-0.1-4.5-1-9.5-1.2c-5-0.2-12.7,0.6-12.3,0.5c0.3-0.1,5.9-1.8,13.3-1.2\tS227.6,9.9,227.4,9.8z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M204.5,13.4c-0.1-0.1,2-1,3.2-1.1c1.2-0.1,2,0,2,0.3c0,0.3-0.1,0.5-1.6,0.4\tC206.4,12.9,204.6,13.5,204.5,13.4z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M201,10.6c0-0.1-4.4,1.2-6.3,2.2c-1.9,0.9-6.2,3.1-6.1,3.1c0.1,0.1,4.2-1.6,6.3-2.6\tS201,10.7,201,10.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M154.5,26.7c-0.1-0.1-4.6,0.3-7.2,0c-7.3-0.7-17-3.2-16.6-2.9c0.4,0.3,13.7,3.1,17,3.3\tC152.6,27.5,154.6,26.8,154.5,26.7z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M41.9,19.3c0,0,1.2-0.3,2.9-0.1c1.7,0.2,5.8,0.9,8.2,0.7c4.2-0.4,7.4-2.7,7-2.6\tc-0.4,0-4.3,2.2-8.6,1.9c-1.8-0.1-5.1-0.5-6.7-0.4S41.9,19.3,41.9,19.3z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M75.5,12.6c0.2,0.1,2-0.8,4.3-1.1c2.3-0.2,2.1-0.3,2.1-0.5c0-0.1-1.8-0.4-3.4,0\tC76.9,11.5,75.3,12.5,75.5,12.6z\"\/>\n\t<path class=\"elementor-shape-fill\" d=\"M15.6,13.2c0-0.1,4.3,0,6.7,0.5c2.4,0.5,5,1.9,5,2c0,0.1-2.7-0.8-5.1-1.4\tC19.9,13.7,15.7,13.3,15.6,13.2z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b1b1d02\" data-id=\"b1b1d02\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-cd1ef36 elementor-widget elementor-widget-image\" data-id=\"cd1ef36\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" loading=\"lazy\" width=\"1024\" height=\"128\" src=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" class=\"attachment-large size-large wp-image-546\" alt=\"LogoISIPTA23-long-white\" srcset=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png 1024w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-300x38.png 300w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-768x96.png 768w, https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white.png 1284w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-017a3c3 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"017a3c3\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-divider{--divider-border-style:none;--divider-border-width:1px;--divider-color:#0c0d0e;--divider-icon-size:20px;--divider-element-spacing:10px;--divider-pattern-height:24px;--divider-pattern-size:20px;--divider-pattern-url:none;--divider-pattern-repeat:repeat-x}.elementor-widget-divider .elementor-divider{display:flex}.elementor-widget-divider .elementor-divider__text{font-size:15px;line-height:1;max-width:95%}.elementor-widget-divider .elementor-divider__element{margin:0 var(--divider-element-spacing);flex-shrink:0}.elementor-widget-divider .elementor-icon{font-size:var(--divider-icon-size)}.elementor-widget-divider .elementor-divider-separator{display:flex;margin:0;direction:ltr}.elementor-widget-divider--view-line_icon .elementor-divider-separator,.elementor-widget-divider--view-line_text .elementor-divider-separator{align-items:center}.elementor-widget-divider--view-line_icon .elementor-divider-separator:after,.elementor-widget-divider--view-line_icon .elementor-divider-separator:before,.elementor-widget-divider--view-line_text .elementor-divider-separator:after,.elementor-widget-divider--view-line_text .elementor-divider-separator:before{display:block;content:\"\";border-bottom:0;flex-grow:1;border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--element-align-left .elementor-divider .elementor-divider-separator>.elementor-divider__svg:first-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-left .elementor-divider-separator:before{content:none}.elementor-widget-divider--element-align-left .elementor-divider__element{margin-left:0}.elementor-widget-divider--element-align-right .elementor-divider .elementor-divider-separator>.elementor-divider__svg:last-of-type{flex-grow:0;flex-shrink:100}.elementor-widget-divider--element-align-right .elementor-divider-separator:after{content:none}.elementor-widget-divider--element-align-right .elementor-divider__element{margin-right:0}.elementor-widget-divider:not(.elementor-widget-divider--view-line_text):not(.elementor-widget-divider--view-line_icon) .elementor-divider-separator{border-top:var(--divider-border-width) var(--divider-border-style) var(--divider-color)}.elementor-widget-divider--separator-type-pattern{--divider-border-style:none}.elementor-widget-divider--separator-type-pattern.elementor-widget-divider--view-line .elementor-divider-separator,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:after,.elementor-widget-divider--separator-type-pattern:not(.elementor-widget-divider--view-line) .elementor-divider-separator:before,.elementor-widget-divider--separator-type-pattern:not([class*=elementor-widget-divider--view]) .elementor-divider-separator{width:100%;min-height:var(--divider-pattern-height);-webkit-mask-size:var(--divider-pattern-size) 100%;mask-size:var(--divider-pattern-size) 100%;-webkit-mask-repeat:var(--divider-pattern-repeat);mask-repeat:var(--divider-pattern-repeat);background-color:var(--divider-color);-webkit-mask-image:var(--divider-pattern-url);mask-image:var(--divider-pattern-url)}.elementor-widget-divider--no-spacing{--divider-pattern-size:auto}.elementor-widget-divider--bg-round{--divider-pattern-repeat:round}.rtl .elementor-widget-divider .elementor-divider__text{direction:rtl}.e-con-inner>.elementor-widget-divider,.e-con>.elementor-widget-divider{width:var(--container-widget-width,100%);--flex-grow:var(--container-widget-flex-grow)}<\/style>\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9adf215 elementor-widget elementor-widget-heading\" data-id=\"9adf215\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\">Lapenta, Napolitano and Spada<\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-fac39ee elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fac39ee\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-daa0aae\" data-id=\"daa0aae\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b4d9d71 elementor-widget elementor-widget-text-editor\" data-id=\"b4d9d71\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.16.0 - 20-09-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-99180d5 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"99180d5\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1cf27c4\" data-id=\"1cf27c4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-63d4f60 elementor-widget elementor-widget-heading\" data-id=\"63d4f60\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">The logic FP(\u0141,\u0141) and two-sorted equational states<\/h1>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-56b42ba elementor-widget elementor-widget-heading\" data-id=\"56b42ba\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<span class=\"elementor-heading-title elementor-size-default\">The logic FP(\u0141,\u0141) was introduced by L. Godo and T. Flaminio as an expansion of \u0141ukasiewicz logic with a modality,  to reason about the probability of vague events. We prove that FP(\u0141,\u0141) is complete with respect to a class of two-sorted algebras, called <em>equational states<\/em>. They are an equational presentation of the well-known theory of states over lattice ordered groups.<\/span>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-073681c elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"073681c\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-1861e99\" data-id=\"1861e99\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-890808b oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"890808b\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/06\/lapenta23a.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PAPER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-a465fcd\" data-id=\"a465fcd\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-20973c7 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"20973c7\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/3Spada.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>PRESENTATION<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-f35f146\" data-id=\"f35f146\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3bda957 oew-align-center elementor-widget elementor-widget-oew-button-effects\" data-id=\"3bda957\" data-element_type=\"widget\" data-widget_type=\"oew-button-effects.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\r\n\r\n\t\t<div class=\"oew-button oew-btn-effect-30\">\r\n\t\t\t<a href=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2023\/07\/lapenta-poster.pdf\" class=\"oew-link\">\r\n\t\t\t\t\r\n\t\t\t\t<span>POSTER<\/span>\r\n\r\n\t\t\t\t\t\t\t<\/a>\r\n\t\t<\/div>\r\n\r\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-dd2b88d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dd2b88d\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e2b8390\" data-id=\"e2b8390\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e9aa4b4 elementor-widget elementor-widget-text-editor\" data-id=\"e9aa4b4\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<a class=\"boton-volver\" href=\"javascript:history.back()\">\u2aa1 Back<\/a>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Lapenta, Napolitano and Spada \u2aa1 Back The logic FP(\u0141,\u0141) and two-sorted equational states The logic FP(\u0141,\u0141) was introduced by L. Godo and T. Flaminio as an expansion of \u0141ukasiewicz logic with a modality, to reason about the probability of vague events. We prove that FP(\u0141,\u0141) is complete with respect to a class of two-sorted algebras, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":3821,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"footnotes":""},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v21.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Long Lapenta - ISIPTA 2023<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Long Lapenta - ISIPTA 2023\" \/>\n<meta property=\"og:description\" content=\"Lapenta, Napolitano and Spada \u2aa1 Back The logic FP(\u0141,\u0141) and two-sorted equational states The logic FP(\u0141,\u0141) was introduced by L. Godo and T. Flaminio as an expansion of \u0141ukasiewicz logic with a modality, to reason about the probability of vague events. We prove that FP(\u0141,\u0141) is complete with respect to a class of two-sorted algebras, [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/\" \/>\n<meta property=\"og:site_name\" content=\"ISIPTA 2023\" \/>\n<meta property=\"article:modified_time\" content=\"2023-07-14T11:10:21+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/\",\"url\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/\",\"name\":\"Long Lapenta - ISIPTA 2023\",\"isPartOf\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#website\"},\"datePublished\":\"2023-05-16T08:02:15+00:00\",\"dateModified\":\"2023-07-14T11:10:21+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"https:\/\/isipta23.sipta.org\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Accepted Papers\",\"item\":\"https:\/\/isipta23.sipta.org\/accepted-papers\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Long Lapenta\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/isipta23.sipta.org\/#website\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"name\":\"ISIPTA 2023\",\"description\":\"The International Symposium on Imprecise Probabilities\",\"publisher\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/isipta23.sipta.org\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/isipta23.sipta.org\/#organization\",\"name\":\"ISIPTA 2023\",\"url\":\"https:\/\/isipta23.sipta.org\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"contentUrl\":\"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png\",\"width\":500,\"height\":500,\"caption\":\"ISIPTA 2023\"},\"image\":{\"@id\":\"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Long Lapenta - ISIPTA 2023","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/","og_locale":"en_GB","og_type":"article","og_title":"Long Lapenta - ISIPTA 2023","og_description":"Lapenta, Napolitano and Spada \u2aa1 Back The logic FP(\u0141,\u0141) and two-sorted equational states The logic FP(\u0141,\u0141) was introduced by L. Godo and T. Flaminio as an expansion of \u0141ukasiewicz logic with a modality, to reason about the probability of vague events. We prove that FP(\u0141,\u0141) is complete with respect to a class of two-sorted algebras, [&hellip;]","og_url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/","og_site_name":"ISIPTA 2023","article_modified_time":"2023-07-14T11:10:21+00:00","og_image":[{"url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/LogoISIPTA23-long-white-1024x128.png"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/","url":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/","name":"Long Lapenta - ISIPTA 2023","isPartOf":{"@id":"https:\/\/isipta23.sipta.org\/#website"},"datePublished":"2023-05-16T08:02:15+00:00","dateModified":"2023-07-14T11:10:21+00:00","breadcrumb":{"@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/isipta23.sipta.org\/accepted-papers\/long-lapenta\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"https:\/\/isipta23.sipta.org\/"},{"@type":"ListItem","position":2,"name":"Accepted Papers","item":"https:\/\/isipta23.sipta.org\/accepted-papers\/"},{"@type":"ListItem","position":3,"name":"Long Lapenta"}]},{"@type":"WebSite","@id":"https:\/\/isipta23.sipta.org\/#website","url":"https:\/\/isipta23.sipta.org\/","name":"ISIPTA 2023","description":"The International Symposium on Imprecise Probabilities","publisher":{"@id":"https:\/\/isipta23.sipta.org\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/isipta23.sipta.org\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/isipta23.sipta.org\/#organization","name":"ISIPTA 2023","url":"https:\/\/isipta23.sipta.org\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/","url":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","contentUrl":"https:\/\/isipta23.sipta.org\/wp-content\/uploads\/2022\/08\/cropped-LogoISIPTA23-white.png","width":500,"height":500,"caption":"ISIPTA 2023"},"image":{"@id":"https:\/\/isipta23.sipta.org\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4416"}],"collection":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/comments?post=4416"}],"version-history":[{"count":22,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4416\/revisions"}],"predecessor-version":[{"id":6994,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/4416\/revisions\/6994"}],"up":[{"embeddable":true,"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/pages\/3821"}],"wp:attachment":[{"href":"https:\/\/isipta23.sipta.org\/wp-json\/wp\/v2\/media?parent=4416"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}