About AsubL

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

The venue of the workshop will be Polo Umanistico “Sa Duchessa”, located in a central and easily reachable place in the centre of Cagliari. 

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. 

History

Further information about previous editions of AsubL can be found here.

Articoli recenti