Substructural logics, named thus because when formulated as Gentzen systems they lack one or more structural rules, have been intensively studied over the past two decades by logicians of various persuasions, mathematicians and computer scientists. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics. Moreover, from a theoretical point of view, substructural logics provide a refined perspective of classical logic, since the former often exhibit features which are either absent or trivialised in the classical case. Universal algebraic methods have proved useful in providing a unifying framework for these investigations: surprisingly, not only for the semantical aspects, but for the proof theory as well.

Previous AsubL workshops have played an important role in these developments. We hope this take will be ispiring and enjoyable as previous appointments.