分野別セミナー

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.