Algebra & Substructural Logics
Japan Advanced Institute of Science and Technology
12-14 November 2002

Programme

Tuesday, 12 November 2002

morning session

10:30-11:15 Daniele Mundici TBA: Turning Boolean Algebras
11:25-12:10 Franco Montagna Varieties generated by standard BL-algebras

- lunch -

afternoon session

13:30-14:15 Constantine Tsinakis Generalized MV-algebras
14:25-14:45 Nikolaos Galatos A categorical equivalence for integral generalized MV-algebras
14:55-15:15 Jac Cole On cancellative residuated lattices (the title was probably different )

- coffee -

15:45-16:30 Andrzej Wronski The distance function in commutative l-groups and the equivalence in Lukasiewicz logic
16:40-17:00 Annika Wille The variety of lattice-ordered monoids generated by the natural numbers

Wednesday, 13 November 2002

morning session

09:30-10:15 Willem Blok The finite embeddability property in some classes of residuated ordered groupoids I
10:25-11:10 Clint van Alten The finite embeddability property in some classes of residuated ordered groupoids II
11:20-11:40 Kevin Blount Some remarks on residuated lattices (the title was most certainly different )

- lunch and a hike -

late afternoon session

16:00-16:45 James Raftery Consequence fragments of R-mingle
16:55-17:40 Peter Jipsen An overview of action lattices

Thursday, 14 November 2002

morning session

09:30-10:15 Tomasz Kowalski Discriminator varieties of residuated lattices
10:25-11:10 Hiroakira Ono Algebraic aspects of cut elimination theorems