Take 1: Programme

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

11:40-12:10

Hiroakira Ono

Kiyoshi Iseki

Introductory talk

Address to participants

afternoon session

14:00-14:45

15:00-15:45

16:00-16:45

James Raftery

Clint van Alten

Willem Blok

Residuation in commutative pomonoids with minimal unit: an algebraizable extension of BCI

On the algebraic semantic of some noncommutative substructural logics

Varieties versus quasivarieties in algebraic logic

Friday, 12 November 1999

morning session

10:00-10:45

11:00-11:45

Isabel Ferreirim

Katarzyna Palasinska

Basic hoops: an algebraic investigation of continuous t-norms

Sequent calculi arising from (some) quasivarieties

afternoon session

14:00-14:45

15:00-15:45

16:00-16:45

Andrzej Wronski

Katarzyna Slomczynska

Katarzyna Idziak

Semantic normal form

Finite algebras from Fregean varieties: decomposition and polynomials

Counting quasivarieties of equivalential algebras

Saturday, 13 November 1999

morning session

10:00-10:45

11:00-11:45

Tomasz Kowalski

Hiroakira Ono

Splittings in the variety of residuated lattices

The variety of residuated lattices is generated by its finite simple members

Sunday, 14 November 1999

excursion day