INTRODUCTORY COURSE ON LOGIC AND UNIVERSAL ALGEBRA
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
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.
No background in logic or universal algebra is presupposed other than will
be treated in the parallel courses on Universal Algebra and Logic, respectively.
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.