Proceedings

Dear authors,
We are pleased to inform you that the call for papers for the special volume of Trends in Logic dedicated to the Conference AsubL (Algebra and substructural Logics – take 6) held in Cagliari on June 2018 will be

open from October 12th until December 31th.

We welcome contributions from all interested researchers. A submissions webpage, with instructions for authors, can be found at:

https://goo.gl/forms/lfc64lJ2Ztwga48u1

Contributed manuscripts should be prepared according with the following  template.

Substructural logics, so named because they are usually formulated as Gentzen systems that lack one or more structural rules, have been intensively studied over the past two decades by logicians of various persuasions – mathematicians, philosophers, linguists and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science, epistemology, economics, and linguistics. The recourse to algebraic methods – or, better, the fecund interplay of algebra and proof theory – has proved very useful in providing a unifying framework for these investigations. In particular, the series of conferences AsubL – Algebra and Substructural Logic, has played an important role in these developments. The series started in 1999, with a conference organised by Hiroakira Ono and Tomasz Kowalski at the Japan Institute of Science and Technology (JAIST), and went on to an overall 6 installments so far, held in Japan, Poland, Australia, and Italy.

AsubL (Algebra & Substructural Logics – Take 6) was held at the University of Cagliari, Italy (Department of Pedagogy, Psychology, Philosophy) on June 11th – 13th, 2018, as an event in the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Five invited lectures (by H. Ono, A. Dvurecenskij, T. Kowalski, P. Schroeder-Heister and H. Sankappanavar) and 36 contributed talks were presented. It can be said that the workshop showcased the state of the art in the research on this topic. Following the spirit of the meeting, the present book proposal is aimed at exploring the following main topics:

PROOF THEORY FOR SUBSTRUCTURAL LOGICS
Proof theory of substructural logics
Game-theoretic semantics for substructural logics

ALGEBRAIC STRUCTURES FOR SUBSTRUCTURAL LOGICS
Residuated lattices
Algebraic structures for many-valued logics: MV-algebras, BL-algebras, MTL-algebras and their noncommutative generalizations
Substructural implication and its semantics: hoops, pocrims, Hilbert algebras

METHODS FOR THE INVESTIGATION OF SUBSTRUCTURAL LOGICS
Topics in universal algebra related to substructural logics
Substructural logics from the viewpoint of Abstract Algebraic Logic
Duality for substructural logics

RELATIONSHIPS WITH OTHER FAMILIES OF LOGICS
Connections between substructural logics and quantum logics
Connections between substructural logics and relevance logics

With kindest regards,

The guest Editors Davide Fazio, Antonio Ledda and Francesco Paoli.