{"id":2647,"date":"2014-12-07T21:22:33","date_gmt":"2014-12-07T21:22:33","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2647"},"modified":"2014-12-07T21:22:33","modified_gmt":"2014-12-07T21:22:33","slug":"lira-session-alessandra-palmigiano-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2014\/12\/lira-session-alessandra-palmigiano-2\/","title":{"rendered":"LIRa Session: Alessandra Palmigiano"},"content":{"rendered":"<p>On Friday,\u00a0December 12th, we will have a LIRa session with\u00a0<strong>Alessandra Palmigiano<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<div>\n<p>Speaker:\u00a0<strong>Alessandra Palmigiano<\/strong> (Delft University of Technology)<br \/>\n(joint work with Giuseppe Greco, Minghui\u00a0Ma, Apostolos Tzimoulis and Zhiguang Zhao)<\/p>\n<p>Date and Time: Friday,\u00a0December 12, 2014,\u00a0<strong>14:30-16:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p style=\"text-align: justify;\">Title:\u00a0<strong>Unified Correspondence as a Proof-Theoretic Tool<\/strong><br \/>\nAbstract:\u00a0This talk focuses on the formal connections which have recently\u00a0been highlighted between correspondence phenomena, well known from the\u00a0area of modal logic, and the theory of display calculi, originated by\u00a0Belnap.<br \/>\nThese connections have been seminally observed and exploited by Marcus\u00a0Kracht, in the context of his characterisation of the modal axioms (which\u00a0he calls primitive formulas) which can be effectively transformed into\u00a0`good&#8217; structural rules of display calculi. In this context, a rule is\u00a0`good&#8217; if adding it to a display calculus preserves Belnap&#8217;s\u00a0cut-elimination theorem.<br \/>\nIn recent years, correspondence theory has been uniformly extended from\u00a0classical modal logic to diverse families of nonclassical logics, ranging\u00a0from (bi-)intuitionistic (modal) logics, linear, relevant and other\u00a0substructural logics, to hybrid logics and mu-calculi. This generalisation\u00a0has given rise to a theory called unified correspondence, the most\u00a0important technical tool of which is the algorithm ALBA.<br \/>\nWe put ALBA to work to obtain a generalisation of Kracht&#8217;s transformation\u00a0procedure from axioms into `good&#8217; rules. This generalisation concerns more\u00a0than one aspect. Firstly, we define primitive formulas\/inequalities in any\u00a0logic the algebraic semantics of which is based on distributive lattices\u00a0with operators. Secondly, in the context of each such logic, we\u00a0significantly generalise the class of primitive formulas\/inequalities, and\u00a0we apply ALBA to obtain an effective transformation procedure for each\u00a0member of this class.<br \/>\nTime permitting, we will discuss the connections between the ALBA-aided\u00a0transformation procedure and other similar procedures existing in the\u00a0literature, developed for instance by Negri, Ciabattoni and other authors.<\/p>\n<\/div>\n<div><strong>\u00a0<\/strong><\/div>\n","protected":false},"excerpt":{"rendered":"<p>On Friday,\u00a0December 12th, we will have a LIRa session with\u00a0Alessandra Palmigiano.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\u00a0Alessandra Palmigiano (Delft University of Technology)<br \/>\n(joint work with Giuseppe Greco, Minghui\u00a0Ma, Apostolos Tzimoulis and Zhiguang Zhao)<br \/>\nDate and Time: Friday,\u00a0December 12, 2014,\u00a014:30-16:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nTitle:\u00a0Unified Correspondence as a Proof-Theoretic Tool<br \/>\nAbstract:\u00a0This talk focuses on the formal connections which have recently\u00a0been highlighted between correspondence [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-2647","post","type-post","status-publish","format-standard","hentry","category-all"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2647","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=2647"}],"version-history":[{"count":2,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2647\/revisions"}],"predecessor-version":[{"id":2649,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2647\/revisions\/2649"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2647"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2647"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2647"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}