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