Workshop on Algebraic Logic
January 7–8, 2009

There is a growing interest in the field of Algebraic Logic in India. An intense two-week-long exposition on some topics of the area was held during the 2nd Indian Winter School on Logic at the Indian Institute of Technology Kanpur in January, 2007. Details can be found here. The pre-conference workshop on Algebraic Logic is an effort to further build on the interest generated.

The workshop will focus on the two topics of Relation Algebras and Substructural Logics. The invited speakers for the former are Ian Hodkinson and Robin Hirsch, while Hiroakira Ono and Peter Jipsen are the participating experts for Substructural Logics. The schedule for the workshop, including abstracts of the talks, is given below. References that may be used as preparatory material follow.

In addition to the theme lectures, the workshop will have a few short presentations on ongoing research in the area.

Schedule

Click here for the PDF version of the schedule.

7 January 2009
8:00 Registration
Invited Talk
CHAIR: Kamal Lodaya
9:00 Ian Hodkinson/Robin Hirsch
Tutorial on relation algebras (Invited Talk)
Abstract
10:30 Discussion
10:40 Coffee
Invited Talk
CHAIR: M K Chakraborty
11:00 Hiroakira Ono
Tutorial on substructural logics (Invited Talk)
Abstract
12:00 Discussion
CHAIR: Mohua Banerjee
12:10 Jayanta Sen
MV-algebra extended
Abstract
12:40 Lunch
Invited Talk
CHAIR: N Raja
14:00 Ian Hodkinson/Robin Hirsch
Games (Invited talk)
Abstract
15:00 Discussion
15:10 Coffee
Invited Talk
CHAIR: Ranjan Mukhopadhyay
15:30 Peter Jipsen
Tutorial on residuated lattices (Invited Talk)
Abstract
17:00 Discussion
8 January 2009
Invited Talks
CHAIR: Kamal Lodaya
9:00 Ian Hodkinson
Completeness and canonicity (Invited Talk)
Abstract
10:00 Discussion
10:10 Robin Hirsch
Constructing relation algebras with appropriate representation properties: the “Rainbow Algebra” (Invited Talk)
Abstract
11:10 Discussion
11:20 Coffee
CHAIR: Mohua Banerjee
11:40 Yoshihiro Maruyama
Universal algebraic extensions of Stone dualities for distributive lattices and Heyting algebras
Abstract
12:10 Md Aquil Khan
Algebraic semantics for the logic of multiple-source approximation systems
Abstract
12:40 Lunch
Invited Talk
CHAIR: M K Chakraborty
14:00 Hiroakira Ono
An algebraic view of logical properties of substructural logics (Invited Talk)
Abstract
15:00 Discussion
15:10 Coffee
Invited Talk
CHAIR: Ranjan Mukhopadhyay
15:30 Peter Jipsen
Semantics of residuated lattices (Invited Talk)
Abstract
16:30 Discussion

Reference material for the invited talks

Relation Algebras

Substructural Logics

While the workshop will not have Proceedings, there is a plan to publish selected papers based on workshop presentations in a special journal issue. (Details on this will be announced later.)

Co-ordinated by Mohua Banerjee (IIT Kanpur) and Mai Gehrke (RU Nijmegen).