Abstract:

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.

744 Motooka, Nishi-ku

Fukuoka 819-0395, Japan

TEL (Office): +81-92-802-4402

FAX (Office): +81-92-802-4405

##### IMI(Institute of Mathematics for Industry)

# Seminar

List | All(1099) | Today and tomorrow's seminars(1) |

## 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) | |