Canonical extensions in the algebraic approach to logic

Sam van Gool

We show how methods from universal algebra and lattice theory can be combined to analyze logic by means of canonical 'extensions'. In particular, we will focus on the telling example of classical propositional logic, because it is simple, but already non-trivial enough to convey the flavour of the field. Moreover, this is the first and foremost example of a canonical extension, which initiated a much broader field of research, on which we will make some remarks towards the end of the talk.

I will try to give an idea of the flavour of the research field, rather than discuss recent or original results. This has the advantage that there will not be any specific prerequisites to be able to follow the talk, and it will therefore be accessible and possibly of interest to (bachelor/master) students of Mathematics and Computer Science, who are also invited to attend.

Back to schedule