AsubL take 6
Algebra and substructural logics
Cagliari June 11th-13th 2018
First announcement and call for papers
The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy on June 11th Ð 13th 2018 as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics, and hosted by Universitˆà degli studi di Cagliari, Dipartimento di Pedagogia, Psicologia e Filosofia.
AsubL take 1 (10-14 November 1999). Organised by Hiroakira Ono and Tomasz Kowalski. Held at Japan Institute of Science and Technology (JAIST).
AsubL take 2 (12-14 November 2002). Organised by Hiroakira Ono and Tomasz Kowalski. Hosted by (JAIST), held at Bogakuen lodge in Shiramine/Hakusan area.
AsubL take 3 (6-8 November 2006). Organised by Hiroakira Ono and Andrzej Wronski. Held at Department of Logic of the Jagiellonian University.
AsubL take 4 (8-10 June 2010). Organised by Hiroakira Ono and Constantine Tsinakis. Hosted by JAIST; held at Ishikawa Hightech Center.
AsubL take 5 (13-16 December 2014). Organised by Tomasz Kowalski. Hosted by La Trobe University, Department of Mathematics and Statistics, held at Franklin Street Campus.
Here is the list of invited speakers who have confirmed their participation so far:
-Hiroakira Ono (Founder of AsubL)
Call for papers
Authors are kindly asked to submit an abstract (not exceeding two pages) for their proposed contributed talks to Francesco Paoli: email@example.com. by April 15th 2018.
After this date, abstracts of contributed talks may still be accepted, depending on available space. The duration of the contributed talks will be communicated in a later announcement. We welcome contributions on any topic relevant to the theme of the workshop, including (but not limited to) the following:
– residuated lattices, their expansions and reducts;
– other ordered structures related to substructural logics;
– abstract algebraic logic methods in substructural logics;
– proof theory of substructural logics;
– categorical methods in substructural logics;
– relations between substructural logics and other logics (quantum logics, many-valued logics etc.)
Webpage and registration
Further information on the workshop will be available presently on the website of the workshop http://sites.unica.it/asubl6/
Please note that in addition to submitting the abstract, you also need to register for the conference using the registration form that will be available on the site. No participation fee will be charged.