Program

Thursday, March 5

10:00 – 11:00 Peter Jipsen: The structure of Boolean commutative idempotent residuated lattices (slides)
11:15 – 12:15 Sara Ugolini: Ordinal sums in bounded commutative integral residuated lattices

Lunch break

14:30 – 15:30 Nick Galatos: Lattice-ordered groups and their subreducts (slides)
16:10 – 17:10 Almudena Colacito: Nilpotence, semilinearity and the Hamiltonian property (slides)

Friday, March 6

10:00 – 11:00 Luca Spada: Are locally finite MV-algebras a variety? (slides)
11:15 – 12:15 Jan Kühr: On commutative (pseudo-) BCK-algebras (slides)

Lunch break

14:00 – 15:00 Guram Bezhanishvili: Diego’s theorem for nuclear implicative semilattices (slides)
15:15 – 16:15 Gavin St. John: Fragments of residuated lattices axiomatized by simple equations and decidability (slides)
16:30 – 17:30 Open problem session

19:00 Social dinner

Saturday, March 7

10:00 – 11:00 Wesley Fussner: Priestley duality for MV-algebras: a new perspective (slides)
11:15 – 12:15 Adam Přenosil: Semisimplicity, the excluded middle, and Glivenko theorems (slides)