Web pages of Luca Spada

Corso di “Algebra della Logica” alla scuola AILA 2017

This year I teach a course (12 hours) a the AILA summer school of logic.  Below one can find the slides of my first three lectures and some references.

• Lecture 1 (Classical propositional logic and Boolean algebras)
• Lecture 2 (Algebraic completeness of propositional calculus)
• Lecture 3 (Abstract Algebraic Logic)
• Lecture 4 (Dualities) lecture material:
  1. Pat Morandi’s notes on dualities,
  2. Tutorial in Buenos Aires.
• Lecture 5 and 6 (Non classical logic) references:
  1. Y. Venema, Algebras and Coalgebras, in: J. van Benthem, P. Blackburn and F. Wolter (editors), Handbook of Modal Logic, 2006, pp 331-426.
  2. R. L. O. Cignoli, I. M. L. D’Ottaviano e D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, Vol. 7 Springer, 2000.

Lecture notes by Guido Gherardi (Computability Theory).