Algebra & Substructural Logics
Jagiellonian University, Cracow, Poland
6 - 8 November 2006
preliminary programme
Monday, 6 November 2006

morning session

10.30 - 11.15 Janusz Czelakowski Additivity of the commutator and residuation
11.25 - 12.10 Wojciech Buszkowski Horn Theories of Some Substructural Logics: Interpretation and Complexity
12.20 - 12.50 Maciej Farulewski Finite Embeddability Property for Residuated Ordered Grupoids

- lunch -

afternoon session
15.00 - 15.45 Daniele Mundici Probability in many-valued logic
15.55 - 16.25 Josep Maria Font Substructural logics preserving degrees of truth
- coffee -
16.45 - 17.15 Felix Bou Recursively Enumerable Prime Theories in Infinite­Valued Lukasiewicz Logic are not Uniformly Decidable
17.25 - 18.10 Kazimierz Swirydowicz Variety of Relevant Algebras - the Finite Height Problem
18.20 - 19.05 Mai Gehrke Completing lattices and generalising Kripke semantics

Tuesday, 7 November 2006

morning session

9.30 - 10.15 James Raftery Residuated structures, concentric sums and finiteness conditions
10.20 - 11.05 Franco Montagna Residuated lattices with conuclei
11.10 - 11.40 Norbert Preining Linear Kripke frames for some intermediate logics
11.45 - 12.15 Clint van Alten Implicational subreducts of n-potent residuated lattices

12.40 - Collegium Maius

- lunch -

afternoon session

15.30 - 16.15 Hiroakira Ono Interpolation property, Robinson property and amalgamation property I
16.25 - 17.10 Hitoshi Kihara Interpolation property, Robinson property and amalgamation property II
- coffee -
17.30 - 18.15 Nikolaos Galatos Residuated frames
18.25 - 18.55 Peter Jipsen Involutive frames

Wednesday, 8 November 2006

morning session

10.00 - 10.30 Katarzyna Slomczynska Construction of free equivalential algebras
10.40 - 11.00 Tomasz Kowalski Self-Implications in BCI
11.10 - 11.55 Wojciech Dzik Unification in some BL-algebras and hoops
12.05 - 12.15 Kazushige Terui A direct proof of amalgamation property for residuated lattices
12.20 - 12.50 Andrzej Wronski On BCK Identities