Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

CfP Special Issue of "Trends in Logic" on Algebra & Substructural Logics

Deadline: Monday 31 December 2018

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.  The recourse to algebraic methods - or, better, the fecund interplay of algebra and proof theory 0 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. This special issue of Trends in Logic will be dedicated to the Conference AsubL (Algebra and substructural Logics - take 6) held in Cagliari on June 2018.

Following the spirit of the meeting, the present book proposal is aimed at exploring the following main topics:
- Proof Theory for Substructural Logics
- Algebraic Structures for Substructural Logics
- Methods for the Investigation of Substructural Logics
- Relationships with Other Families of Logics

For more information, see http://sites.unica.it/asubl6/proceedings/.

Please note that this newsitem has been archived, and may contain outdated information or links.