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