ALGEBRA   &   SUBSTRUCTURAL   LOGICS   (A sub L)

take two

12 - 14 November 2002

Algebra & Substructural Logics    is a workshop on algebraic structures related to substructural logic, organised by Hiroakira Ono and Tomasz Kowalski at Japan Advanced Institute of Science and Technology (JAIST).

Substructural logics, named thus because when formulated as Gentzen systems they lack one or more structural rules, have recently been enjoying considerable popularity among logicians and computer scientists. It seems promising to believe that universal algebra can provide a unifying framework for studying these. By a fortunate coincidence, the interest in algebraic structures related to substructural logics is also undergoing a revival among algebraists. The main objective of AsubL is to encourage further interaction in the area by providing a meeting point, which the organisers hope will become also a melting pot.

AsubL take one was held at JAIST from 10 to 17 November 1999. Its proceedings have been published as a special issue of Reports on Mathematical Logic (vol. 34, 2000).

AsubL take two was held at JAIST from 12 to 14 November 2002. The proceedings will appear in two special issues of Studia Logica. Preprints of the papers are available here.

And, by the way, JAIST is only 20km from the beautiful town of Kanazawa