Modalities in Substructural Logics

About

By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management. The workshop explores the uses of substructural modalities in areas where logic meets linguistics and computer science. The workshop is supported by the EU-funded MOSAIC project (Modalities in Substructural Logics: Theory, Methods and Applications). A complementary proposed course is "Modal Lambek Calculus and its Natural Language Applications".

Course leader

Michael Moortgat and Mehrnoosh Sadrzadeh

Target group

Students

Fee info