Teaching

 

Algebraic Logic

For lecture notes, click here.

Order, Lattices and Boolean Algebras

For lecture notes, click here.

The Algebra of Logic - ILLC + University of Verona

For lecture notes, click here. Below you'll find a series of 12 video lectures of 45 minutes approx each (email me for the password):

1. Propositional logics.

2. Algebraic semantics.

3. Ultraproducts.

4. Universal classes.

5. Quasi-varieties.

6. Algebraizable logics.

7. Deductive filters.

8. The isomorphism theorem I.

9. The isomorphism theorem II.

10. The deduction theorem.

11. EDPRC and compact congruences.

12. Structure theory.