{"id":1582,"date":"2020-04-05T00:28:34","date_gmt":"2020-04-04T23:28:34","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1582"},"modified":"2020-04-05T00:29:41","modified_gmt":"2020-04-04T23:29:41","slug":"unification-in-lukasiewicz-logic-with-a-finite-number-of-variables","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1582-unification-in-lukasiewicz-logic-with-a-finite-number-of-variables\/","title":{"rendered":"Unification in Lukasiewicz logic with a finite number of variables"},"content":{"rendered":"\n<p>In this paper, coauthored with <a href=\"http:\/\/www.mat.unimi.it\/users\/mabbadini\/\">Marco Abbadini<\/a> and Federica Di Stefano,  we prove that the unification type of Lukasiewicz logic with a finite number of variables is either infinitary or nullary.&nbsp; To achieve this result we use Ghilardi&#8217;s categorical characterisation of unification types in terms of projective objects,&nbsp; the categorical duality between finitely presented MV-algebras and rational polyhedra, and a homotopy-theoretic argument.<\/p>\n\n\n\n<div class=\"wp-block-file aligncenter\"><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/IPMU4.pdf\">Download preprint<\/a><\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>In this paper, coauthored with Marco Abbadini and Federica Di Stefano, we prove that the unification type of Lukasiewicz logic with a finite number of variables is either infinitary or nullary.&nbsp; To achieve this result we use Ghilardi&#8217;s categorical characterisation of unification types in terms of projective objects,&nbsp; the categorical duality between finitely presented MV-algebras [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[28,29,44,50],"class_list":["post-1582","post","type-post","status-publish","format-standard","hentry","category-news","tag-lukasiewicz-logic","tag-mv-algebras","tag-unification","tag-universal-cover"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1582","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=1582"}],"version-history":[{"count":2,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1582\/revisions"}],"predecessor-version":[{"id":1585,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1582\/revisions\/1585"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1582"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1582"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1582"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}