Free lattices proof theoreticallyTomasz Kowalski (La Trobe University)
Tomasz Kowalski (La Trobe) will present "Free lattices proof theoretically" at 12 on 23 February in Old Arts 156.
Abstract: An important early result on free lattices, proved by Jonsson
and Kiefer in 1962, states that free lattices are semidistributive,
that is, they satisfy the quasi-identity
(SD-join) a V b = a V c --> a V (b ^ c)
as well as its dual (SD-meet). I will present a proof-theoretic proof
of this result, employing a simple sequent calculus.
Who is attending?
No one has said they will attend yet.
Will you attend this event?