Algebra & Substructural Logics
November 1999

Please click a image, and then you will get a large image.
kuroS_d.JPG
Kuro Komori
13 October 1999
4:04
kuroS_d.JPG
Kuro Komori
10 November 1999
1:26

Lectures at 11 November 1999
onoS_d.JPG
Hiroakira Ono
Introductory talk
11:02
Isekis_d.JPG
Kiyoshi Iseki
Address to participants
11:51
iseki2S_d.JPG
11:57
BlokS_d.JPG
Willem Blok
Varieties versus quasivarieties in algebraic logic
14:03
Raftery2S_d.JPG
James Raftery
Residuation in commutative pomonoids with minimal unit: an algebraizable extension of BCI
15:15
AltenS_d.JPG
Clint van Alten
On the algebraic semantics of some noncommutative substructural logics
16:04
Alten2S_d.JPG
Alten, Raftery and Blok
16:52

Banquet at 11 November 1999
GakutyoS_d.JPG
President & Ono
18:23
BLOK-WRONSKIs_d.JPG
Blok & Wronski
18:35
PalOnoS_d.JPG
Palasinska & Ono
18:46
OnoKowAltS_d.JPG
Kowalski
19:15
PolandS_d.JPG
Poland
19:26
FerreiS_d.JPG
Mike Paluch, Isabel Ferreirim & Andre Paluch
19:31

Lectures at 12 November 1999
IsabelS_d.JPG
Isabel Ferreirim
Basic hoops: an algebraic
investigation of continuous t-norms
10:17
Palasin3s_d.JPG
Katarzyna Palasinska
Sequent calculi arising from (some) quasivarieties
11:55
Wrobski2s_d.JPG
Andrzey Wronski
Semantic normal form
14:49
Idziaks_d.JPG
Katarzyna Idziak
Counting quasivarieties of
equivalential algebras
16:39
Slmocz4s_d.JPG
Katarzyna Slomczynska
Finite algebras from Fregean varieties: decomposition and polynomials
15:43

Lectures at 13 November 1999
kowalsk2s_d.JPG
Tomasz Kowalski
Splittings in the variety
of residuated lattices
10:28
alls_d.JPG
All Together
10:43
ono3s_d.JPG
Hiroakira Ono
The variety of residuated lattices is generated by its finite simple members
11:47
komo-isabs_d.JPG
Komori & Ferreirim
11:55
Pal-AltS_d.JPG
Palasinska & Alten
12:03

yamasiroS_d.JPG
Autumn tints at Yamashiro-Onsen
14 November 1999
13:57
inserted by FC2 system