INTRODUCTORY COURSE ON LOGIC AND UNIVERSAL ALGEBRA
Yde Venema
Download the course notes (venemaLUA.ps, 337K)
In this introductory course we will treat some of the connections between
logic and universal algebra. The course will naturally fall out into two
parts:

1. Algebra as Logic
In the first part of the course we treat universal algebra from a logical
perspective. The focus will be on equational logic. The main result we
will prove is Birkhoff's completeness theorem.

2. Logic as Algebra
In the second part of the course we will see how logical questions
can be treated in an algebraic framework. We will concentrate on propositional
logic and Boolean algebras and work towards Stone's representation theorem.
No background in logic or universal algebra is presupposed other than will
be treated in the parallel courses on Universal Algebra and Logic, respectively.