Take 2: Programme

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

11:25-12:10

Daniele Mundici

Franco Montagna

TBA: Turning Boolean Algebras

Varieties generated by standard BL-algebras

- lunch -

afternoon session

13:30-14:15

14:25-14:45

14:55-15:15

Constantine Tsinakis

Nikolaos Galatos

Jac Cole

Generalized MV-algebras

A categorical equivalence for integral generalized MV-algebras

On cancellative residuated lattices (the title was probably different )

- coffee -

15:45-16:30

16:40-17:00

Andrzej Wronski

Annika Wille

The distance function in commutative l-groups and the equivalence in Lukasiewicz logic

The variety of lattice-ordered monoids generated by the natural numbers

Wednesday, 13 November 2002

morning session

09:30-10:15

10:25-11:10

11:20-11:40

Willem Blok

Clint van Alten

Kevin Blount

The finite embeddability property in some classes of residuated ordered groupoids I

The finite embeddability property in some classes of residuated ordered groupoids II

Some remarks on residuated lattices (the title was most certainly different )

- lunch and a hike -

late afternoon session

16:00-16:45

16:55-17:40

James Raftery

Peter Jipsen

Consequence fragments of R-mingle

An overview of action lattices

Thursday, 14 November 2002

morning session

09:30-10:15

10:25-11:10

Tomasz Kowalski

Hiroakira Ono

Discriminator varieties of residuated lattices

Algebraic aspects of cut elimination theorems