{"id":1070,"date":"2017-08-21T10:50:28","date_gmt":"2017-08-21T09:50:28","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada\/?p=1070"},"modified":"2017-10-05T09:39:19","modified_gmt":"2017-10-05T08:39:19","slug":"corso-di-algebra-della-logica-alla-scuola-aila-2017","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1070-corso-di-algebra-della-logica-alla-scuola-aila-2017\/","title":{"rendered":"Corso di &#8220;Algebra della Logica&#8221; alla scuola AILA 2017"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"alignleft size-medium wp-image-1071\" src=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/PalazzoFeltrinelli1-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" srcset=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/PalazzoFeltrinelli1-300x225.jpg 300w, http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/PalazzoFeltrinelli1-768x576.jpg 768w, http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/PalazzoFeltrinelli1.jpg 960w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/>This year I teach a course (12 hours) a the <a href=\"http:\/\/www.ailalogica.it\">AILA<\/a> <a href=\"http:\/\/sel.di.unimi.it\">summer school of logic<\/a>. \u00a0Below one can find the slides of my first three lectures and some references.<\/p>\n<ul>\n<li><strong><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Lezione-1.pdf\">Lecture 1<\/a>\u00a0<\/strong>(Classical propositional logic and Boolean algebras)<\/li>\n<li><strong><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Lezione-2.pdf\">Lecture 2<\/a><\/strong>\u00a0(Algebraic completeness of propositional calculus)<\/li>\n<li><strong><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Lezione-3.pdf\">Lecture 3<\/a><\/strong>\u00a0(Abstract Algebraic Logic)<\/li>\n<li><strong>Lecture 4<\/strong> (Dualities) lecture material:\n<ol>\n<li><a href=\"http:\/\/sierra.nmsu.edu\/morandi\/notes\/Duality.pdf\">Pat Morandi&#8217;s notes on dualities,<\/a><\/li>\n<li><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/BuenosAires.pdf\">Tutorial in Buenos Aires<\/a>.<\/li>\n<\/ol>\n<\/li>\n<li><strong>Lecture 5 and 6<\/strong> (Non classical logic) references:\n<ol>\n<li>Y. Venema, Algebras and Coalgebras, in: J. van Benthem, P. Blackburn and F. Wolter (editors), <em>Handbook of Modal Logic<\/em>, 2006, pp 331-426.<\/li>\n<li>R. L. O. Cignoli, I. M. L. D\u2019Ottaviano e D. Mundici, <em>Algebraic Foundations of Many-Valued Reasoning<\/em>, Trends in Logic, Vol. 7 Springer, 2000.<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Gargnano.pdf\">Lecture notes by Guido Gherardi (Computability Theory).<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This year I teach a course (12 hours) a the AILA summer school of logic. \u00a0Below one can find the slides of my first three lectures and some references. Lecture 1\u00a0(Classical propositional logic and Boolean algebras) Lecture 2\u00a0(Algebraic completeness of propositional calculus) Lecture 3\u00a0(Abstract Algebraic Logic) Lecture 4 (Dualities) lecture material: Pat Morandi&#8217;s notes on [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1071,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[42,53,3],"tags":[169,40,64,41,170,79,171],"class_list":["post-1070","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-conferences","category-talk","category-teaching","tag-algebraic-logic","tag-course","tag-free-algebra","tag-mathematical-logic","tag-slides","tag-stone-duality","tag-summer-school"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1070","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=1070"}],"version-history":[{"count":15,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1070\/revisions"}],"predecessor-version":[{"id":1135,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1070\/revisions\/1135"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media\/1071"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1070"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1070"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1070"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}