INTRODUCTORY COURSE ON LOGIC AND UNIVERSAL ALGEBRA

Yde Venema

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.