Institute of Mathematics for Industry


List All(846) Today and tomorrow's seminars(3)

From proof theory to universal algebra and back: a toy example of lattices.

Hold Date 2018-04-17 12:00~2018-04-17 13:00

Place Lecture Room S W1-C-503, West Zone 1, Ito campus, Kyushu University

Object person  

Speaker Tomasz Kowalski (Department of Mathematics and Statistics, La Trobe University)

Proof theory is rarely thought of algebraically. Thinking of universal algebra proof theoretically is even rarer. Using the theory of lattices as an example, I will show:
(1) How to prove algebraically a quintessentially proof theoretic result, known as the cut elimination theorem.
(2) How to prove proof theoretically, two important properties of free lattices, known as the Whitman condition and semidistributivity.