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.
|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|
|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)|
|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|
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 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: http://tiny.cc/dmnOs 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.
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.
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!)
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 (http://tiny.cc/dmnOs) for details. For time tables and details and other options (in English) see: http://www.jaist.ac.jp/english/location/access.htm.
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:
AsubL take three was held at the Jagiellonian University from 6 to
8 November 2006. The proceedings have been published in a special
AsubL take two was held at jaist
from 12 to 14 November 2002.
The proceedings have been published in two special issues of
AsubL take one was held at jaist
from 10 to 17 November 1999. The
proceedings have been published as a special issue of