{"id":1608,"date":"2026-03-05T13:27:11","date_gmt":"2026-03-05T12:27:11","guid":{"rendered":"https:\/\/sites.unica.it\/fesc\/?page_id=1608"},"modified":"2026-03-05T14:55:18","modified_gmt":"2026-03-05T13:55:18","slug":"introduction-to-algebraic-logic","status":"publish","type":"page","link":"https:\/\/sites.unica.it\/fesc\/percorso-formativo\/offerta-formativa-2025-26\/introduction-to-algebraic-logic\/","title":{"rendered":"Introduction to algebraic logic"},"content":{"rendered":"\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><strong>Corso di Dottorato in Filosofia, Epistemologia, Scienze Umane<\/strong><\/p>\n\n\n\n<p>Universit\u00e0 di Cagliari, Dipartimento di Pedagogia, Psicologia, Filosofia<\/p>\n\n\n\n<p><strong>Titolo del corso<\/strong>: Introduction to algebraic logic.<\/p>\n\n\n\n<p><strong>N. ore<\/strong>: 16<\/p>\n\n\n\n<p><strong>Docente<\/strong>:<em> <\/em>Nicol\u00f2 Zamperlin (<a href=\"mailto:n.zamperlin@gmail.com\">n.zamperlin@gmail.com<\/a>, MAT\/01, MFIL\/02).<\/p>\n\n\n\n<p><strong>Breve bio\/bibliografia<\/strong>: sono attualmente borsista di ricerca presso il Dipartimento di Pedagogia, psicologia e filosofia dell&#8217;Universit\u00e0 di Cagliari, supervisionato dal Prof. Francesco Paoli. Sono inoltre dottorando presso i medesimi dipartimento e supervisore nel Dottorato in Filosofia, epistemologia e scienze umane (cosupervisionato inoltre dal Prof. Stefano Bonzio). Ho in precedenza ricoperto l&#8217;incarico di assegnista di ricerca presso il Dipartimento di Matematica e informatica sempre dell&#8217;Universit\u00e0 di Cagliari, supervisionato dal Prof. Stefano Bonzio (luglio 2024-giugno 2025). I miei interessi di ricerca vertono su logica algebrica, logica modale, logiche di Kleene e semantiche per l&#8217;iperintensionalit\u00e0.<\/p>\n\n\n\n<p><strong>Pubblicazioni<\/strong>:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>F. Paoli, G. Vergottini, N. Zamperlin, D. Fazio, \u201cOn Bochvar algebras and regular double Stone algebras\u201d, submitted.<\/li>\n\n\n\n<li>N. Zamperlin, \u201cGeneralized Epstein semantics for Parry systems\u201d, Studia Logica, 2025, online:<\/li>\n<\/ul>\n\n\n\n<p><a href=\"https:\/\/doi.org\/10.1007\/s11225-025-10183-z.1.\">https:\/\/doi.org\/10.1007\/s11225-025-10183-z.1.<\/a><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>S. Bonzio, N. Zamperlin, \u201cModal weak Kleene logics: axiomatizations and relational semantics\u201d, Journal of Logic and Computation 35(3), 2025: <a href=\"https:\/\/doi.org\/10.1093\/logcom\/exae046\">https:\/\/doi.org\/10.1093\/logcom\/exae046<\/a><a href=\"https:\/\/doi.org\/10.1093\/logcom\/exae046\">.<\/a><\/li>\n\n\n\n<li>T. Jarmuzek, J. Malinowski, A. Parol, N. Zamperlin, \u201cAxiomatization of Boolean Connexive Logics with syncategorematic negation and modalities\u201d, Logic Journal of the IGPL, 2024, online: <a href=\"https:\/\/doi.org\/10.1093\/jigpal\/jzae120\">https:\/\/doi.org\/10.1093\/jigpal\/jzae120<\/a><a href=\"https:\/\/doi.org\/10.1093\/jigpal\/jzae120\">.<\/a><\/li>\n<\/ul>\n\n\n\n<p><strong>Modalit\u00e0 di erogazione<\/strong>: lezioni frontali.<\/p>\n\n\n\n<p><strong>Calendario degli incontri<\/strong>:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Gennaio 2026\n<ul class=\"wp-block-list\">\n<li>14: 15.00 \u2013 17:00, aula 10<\/li>\n\n\n\n<li>22: 10.00 \u2013 12.00, aula 10<\/li>\n\n\n\n<li>28: 10.00 \u2013 12.00, aula 9<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Febbraio\n<ul class=\"wp-block-list\">\n<li>03: 10.00 \u2013 12.00, aula 9<\/li>\n\n\n\n<li>10: 10.00 \u2013 12.00, aula 10<\/li>\n\n\n\n<li>17: 10.00 \u2013 12.00, aula 9<\/li>\n\n\n\n<li>25: 10.00 \u2013 12.00, aula 9<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Marzo\n<ul class=\"wp-block-list\">\n<li>04: ora e aula da definirsi<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<p><strong>Aula e\/o Link<\/strong>:<em> <\/em>vedi sopra<em>.<\/em><\/p>\n\n\n\n<p><strong>Lingua<\/strong>: inglese, salvo che tutti gli studenti non parlino italiano, in tal caso italiano. Tutta la letteratura di riferimento \u00e8 in inglese.<\/p>\n\n\n\n<p><strong>Conoscenze preliminari richieste<\/strong>: competenza nella metateoria della logica proposizionale classica (a livello di un intero corso introduttivo di logica). Sono utili nozioni basilari di algebra (in particolare teoria dei reticoli) e di algebra universali (definizioni di variet\u00e0 e quasivariet\u00e0), tutto materiale consultabile nei primi due capitoli di Burris &amp; Sankappanavar (vedi bibliografia).<\/p>\n\n\n\n<p><strong>Breve descrizione del corso<\/strong>: The course is a quick introduction to the theory of algebraizability of Blok and Pigozzi. Through the study of the first chapters of Font\u2019s handbook on abstract algebraic logic we will explore the necessary notions for any further investigation of the modern approach to algebraic logic. The goal of the course is to provide students which the minimal tools to access to the current literature about abstract algebraic logic. We will review the basic notions (consequence relations and closure operators) that precisely specify the definition of logic we will be working with and we will adapt these notions to classes of algebras. We will then move to the core of the theory of algebraizability, introducing the fundamentals (algebraic semantics, Lindenbaum-Tarski process, definition of algebraizability), exploring equivalence results (syntactic characterization, Leibniz congruence and isomorphism theorem), concluding with a glimpse to the semantics of matrices (logical matrix, Leibniz-reduced model).<\/p>\n\n\n\n<p><strong>Articolazione interna degli incontri seminariali<\/strong>: le lezioni intendono coprire il contenuto dei primi tre capitoli del manuale di Font (vedi bibliografia).<\/p>\n\n\n\n<p><strong>Riferimenti bibliografici<\/strong>:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Blok, W., and Pigozzi, D., <em>Algebraizable logics<\/em>, vol. 396 of Memoirs of the American Mathematical Society, A.M.S., 1989.<\/li>\n\n\n\n<li>Burris, S., and Sankappanavar, H.P., <em>A course in Universal Algebra<\/em>, freely available online: <a href=\"https:\/\/www.math.uwaterloo.ca\/snburris\/htdocs\/ualg.html\">https:\/\/www.math.uwaterloo.ca\/snburris\/htdocs\/ualg.html<\/a><a href=\"https:\/\/www.math.uwaterloo.ca\/snburris\/htdocs\/ualg.html\">,<\/a> 2012 update.<\/li>\n\n\n\n<li>Czelakowski, J., <em>Protoalgebraic logics<\/em>, vol. 10 of Trends in Logic: Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.<\/li>\n\n\n\n<li>Font, J.M., <em>Abstract Algebraic Logic: An Introductory Textbook<\/em>, College Publications, 2016.<\/li>\n<\/ul>\n\n\n\n<p><strong>Valutazione finale<\/strong>:<em> <\/em>lezione seminariale tenuta dagli studenti su un tema correlato al corso e concordato col docente.<\/p>\n\n\n\n<p><strong>Altre informazioni utili<\/strong>:<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Corso di Dottorato in Filosofia, Epistemologia, Scienze Umane Universit\u00e0 di Cagliari, Dipartimento di Pedagogia, Psicologia, Filosofia Titolo del corso: Introduction to algebraic logic. N. ore: 16 Docente: Nicol\u00f2 Zamperlin (n.zamperlin@gmail.com, MAT\/01, MFIL\/02). Breve bio\/bibliografia: sono attualmente [&hellip;]<\/p>\n","protected":false},"author":9406,"featured_media":0,"parent":137,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1608","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/pages\/1608","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/users\/9406"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/comments?post=1608"}],"version-history":[{"count":1,"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/pages\/1608\/revisions"}],"predecessor-version":[{"id":1609,"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/pages\/1608\/revisions\/1609"}],"up":[{"embeddable":true,"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/pages\/137"}],"wp:attachment":[{"href":"https:\/\/sites.unica.it\/fesc\/wp-json\/wp\/v2\/media?parent=1608"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}