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