Teaching

 

Abstract Algebraic Logic

For lecture notes, click here.

Algebraic Logic

For lecture notes, click here.

The Algebra of Logic + Video Lectures

For lecture notes, click here. Below you'll find 12 video lectures of 45 minutes 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.