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