Free lattices proof theoreticallyTomasz Kowalski (La Trobe University)
February 23, 2018, 12:00pm - 2:00pm
Logic Group, The University of Melbourne
156
Old Arts
Parkville 3010
Australia
Organisers:
University of Melbourne
Topic areas
Details
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.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?