Algebra and Substructural Logics - take four

Jaist / Oal

Sponsored by Jaist, the Inoue Foundation for Science, Kurt Gödel Society, and the Oal

Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic, organized by Hiroakira Ono (Research Center of Integrated Science, Japan Advanced Institute of Science and Technology Jaist) and Constantine Tsinakis (Vanderbilt University and Consortium for Order in Algebra and Logic, Oal) at the Ishikawa Hightech Center at Jaist.

Algebraic investigations into substructural logics have now become a well-established research area engaging researchers from many countries. Previous Algebra and Substructural Logics workshops have played a key role in this process. Continuing what have become a tradition on its own, we are pleased to announce the fourth edition of AsubL.

At the same time we would like to draw your attention to Studia Logica which will issue a special issue devoted to substructural logics and residuated lattices.

Date and Location

AsubL4 will be held from 8 to 10 June 2010 at the Ishikawa Hightech Center at Jaist, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan.

Conference fee

The conference fee is 1000 Yen and will be collected at registration time.

Workshop schedule

When making your travel arrangements please take into account that the workshop will start in the morning of the 8th and will end in the late afternoon of the 10th. So if you want to participate the full time arrival on the 7th and departure on the 11th (of course with possible extension in both directions) is suggested.


The book of abstracts is available here: book-of-abstracts.pdf

Tuesday 8 June 2010

Suggested connection from Nomachi to JAIST: Nomachi 8:22 - JAIST 9:05
09:20 - 09:30 Opening
09:30 - 10:10 Daniele Mundici: Deductive interpolation in Lukasiewicz logic and amalgamation of MV-algebras (Presentation)
10:10 - 10:50 George Metcalfe: Craig Interpolation for Semilinear Varieties (Presentation)
10:50 - 11:20 Break
11:20 - 12:00 Leonardo Cabrer, José Gil-Férez: Leibniz Interpolation Properties
12:00 - 12:40 小野寛晰 (Hiroakira Ono): Regular completions of residuated lattices (Presentation)
12:40 - 14:10 Lunch break
14:10 - 14:50 林哲 (Zhe Lin): Finite Embeddability Property of S4 modal residuated groupoids
14:50 - 15:30 関隆宏 (Takahiro Seki): An Algebraic Proof of the γ-admissibility of Relevant Modal Logics (Presentation)
15:30 - 16:10 William Young, 小野寛晰 (Hiroakira Ono): Modal substructural logics
16:10 - 16:40 Break
16:40 - 17:20 Alberto Carraro: Resource combinatory algebras (Presentation)
17:20 - 18:00 Sándor Jenei, 小野寛晰 (Hiroakira Ono): On involutive FLe algebras (Presentation)
18:00 - 19:30 Reception
Suggested connection from JAIST to Nomachi: JAIST 19:33 - Nomachi 20:27

Wednesday 9 June 2010

Suggested connection from Nomachi to JAIST: Nomachi 8:22 - JAIST 9:05
09:20 - 10:00 José Gil-Férez José: Modules over quantaloids and the Isomorphism Problem (Presentation)
10:00 - 10:40 Antonio Ledda: A duality for quasi ordered structures (Presentation)
10:40 - 11:10 Break
11:10 - 11:50 Dana Šalounová: Filter theory of bounded residuated lattice ordered monoids (Presentation)
11:50 - 12:30 Jiří Velebil: Logical connections in the many-sorted setting (Presentation)
12:30 - 14:30 Lunch break
14:30 - 15:10 James Raftery: Finiteness properties for idempotent residuated structures
15:10 - 15:50 Jiří Rachůnek: State operators on bounded residuated l-monoids (Presentation)
15:50 - 16:20 Break
16:20 - 17:00 Tomasz Kowalski, Francesco Paoli: Quasi-subtractive varieties (Presentation Part 1, Presentation Part 2)
17:00 - 17:40 Jan Kühr: Pre-ideals of basic algebras
19:30 - 21:30 Conference Dinner (see below for details)

Thursday 10 June 2010

Suggested connection from Nomachi to JAIST: Nomachi 8:22 - JAIST 9:05
09:20 - 10:00 Félix Bou: Characterizing the generators of McNaughton functions evaluated in a lattice filter
10:00 - 10:40 Simone Bova: Lewis Dichotomies in Many-Valued Logics (Presentation)
10:40 - 11:10 Break
11:10 - 11:50 Matthias Baaz, Norbert Preining: Quantified Propositional Logics and Quantifier Elimination
11:50 - 12:30 Christian Fermüller: A Generalization of Giles's Game (Presentation)
12:30 - 14:30 Lunch break
14:30 - 15:10 Petr Cintula, Carles Noguera: Lattice disjunction is not a disjunction (in many substructural logics) (Presentation)
15:10 - 15:50 Carles Noguera, Petr Cintula: First-Order Substructural Logics: An Algebraic Approach (Presentation)
15:50 - 16:20 Break
16:20 - 17:00 照井一成 (Kazushige Terui): The birth of linear logic
17:00 - 17:40 Antonino Salibra: Weird models of linear logic (Presentation)
17:40 - 17:50 Closing
Suggested connection from JAIST to Nomachi: JAIST 18:05 - Nomachi 19:05


The current list of participants is: If you still plan to participate please contact the organizers as soon as possible at We plan to publish the proceedings of the workshop in a special issue.

Conference Dinner

The conference dinner will be held in the center of Kanazawa in the traditional restaurant Amatsubo (see the Conference map for location).

From the conference site we will go together using the bus/train to Kanazawa and walk (or bus) to the restaurant.

The dinner will cost 5250 Yen (around 35 Euro) and will include a typical Kaga cuisine dinner and free drinks.

Registration for the dinner is necessary in advance, so please contact the organizers if you (and in case accompanying persons) want to participate at the dinner.


We recommend hotels around the center of Kanazawa, that is in the Korinbo and Katamachi districts as they are both right in the center and close to Nomachi train station.

We have prepared a Google Maps for you showing the locations of the Nomachi and Kanazawa main train station, some hotels, and the important points around the JAIST and how to arrive there: This map lists several hotels and Ryokans (traditional Japanese accomodation) from Kanazawa Tourism as locations and the respective URLs. All of them are in the prize range of 4000-6000 Yen.

Of course there are many other options in Kanazawa, please visit the Kanazawa Tourism web page (see above) for many information concerning Kanazawa, including accomodation offers. For traditional Japanese accomodation (but also normal Hotels), the Kanazawa Ryokan & Hotel Cooperative Association is useful.

Travelling to JAIST

Please see for an overview where we are. Please see the already mentioned Google Map for location of various train and bus stops, hotels, the JAIST.

The closest airport to the JAIST is Komatsu, about 20min by car from the JAIST. There is one flight daily from Narita and eleven flights daily from Haneda Tokyo airports, and often getting a connecting flight to Komatsu is about the same price as only flying into Narita. If you have to move from Narita to Haneda airport the best was is the shuttle bus which costs 3000 Yen and takes about 75min.

Coming to Kanazawa City Center

Most participants will stay in Kanazawa city center (see Accomodation). Here are some options how to arrive there.

From Kansai airport (Osaka) take the trains called "Haruka" to Shin-Osaka and change to express trains of the Hokuriku Line, which run once every hour. It takes about 4 hours to Kanazawa.

From Tokyo you can take the Shinkansen trains to Maibara and then continue to Kanazawa. Or you take the Joetsu-Shinkansen to Echigoyuzawa and from there to Kanazawa.

From Nagoya/Chubu airport take Meitetsu line to Nagoya main train station (about 30min). From there the JR line goes to Kanazawa, taking about 2 and a half hours.

From Komatsu airport there is a direct shuttle bus to the center of Kanazawa (mind that there is another shuttle bus that goes through JAIST and onto Nonoichi-Shako, a different part of Kanazawa!)

Coming to the JAIST

From downton Kanazawa go to Nomachi train station (about 20min walking distance) and take the train to Tsurugi. From Kanazawa main train station: Go with the JR (Japan Railways line) local train one *1* stop direction to "Nishi-Kanazawa", change there for the "Shin-Nishikanazawa" train station just opposite (follow most people ;-) and take the local train to Tsurugi (the terminal station). From there there is a free shuttle bus to the JAIST and get off at Haitekumae. This is the penultimate bus stop. If you miss it it is not a problem, just walk back 5min. Please see the Google map mentioned above ( for details. For time tables and details and other options (in English) see:

From Komatsu airport or train station to JAIST: There is an infrequent bus, it is probably better to drop us a line so that we can take you from the airport/trainstation.

Please keep in mind that:

Contact and Web page

Please direct all inquiries to and visit the workshop's webpage at

History of AsubL

AsubL take three was held at the Jagiellonian University from 6 to 8 November 2006. The proceedings have been published in a special issue of Reports on Mathematical Logic.

AsubL take two was held at jaist from 12 to 14 November 2002. The proceedings have been published in two special issues of Studia Logica.

AsubL take one was held at jaist from 10 to 17 November 1999. The proceedings have been published as a special issue of Reports on Mathematical Logic.