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

- 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 Jac Cole tba

- 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