Algebra & Substructural Logics
Japan Advanced Institute of Science and Technology
10-17 November 1999


Programme

Wednesday, 10 November 1999

arrival day and welcoming reception

Thursday, 11 November 1999

morning session

11:00-11:30 Hiroakira Ono Introductory talk
11:40-12:10 Kiyoshi Iseki Address to participants

afternoon session

14:00-14:45 James Raftery Residuation in commutative pomonoids with minimal unit: an algebraizable extension of BCI
15:00-15:45 Clint van Alten On the algebraic semantic of some noncommutative substructural logics
16:00-16:45 Willem Blok Varieties versus quasivarieties in algebraic logic

Friday, 12 November 1999

morning session

10:00-10:45 Isabel Ferreirim Basic hoops: an algebraic investigation of continuous t-norms
11:00-11:45 Katarzyna Palasinska Sequent calculi arising from (some) quasivarieties

afternoon session

14:00-14:45 Andrzej Wronski Semantic normal form
15:00-15:45 Katarzyna Slomczynska Finite algebras from Fregean varieties: decomposition and polynomials
16:00-16:45 Katarzyna Idziak Counting quasivarieties of equivalential algebras

Saturday, 13 November 1999

morning session

10:00-10:45 Tomasz Kowalski Splittings in the variety of residuated lattices
11:00-11:45 Hiroakira Ono The variety of residuated lattices is generated by its finite simple members

Sunday, 14 November 1999

excursion day