Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation
This is an incremental workshop focusing on interdisciplinary applications in logic, language, and computation for the ESSLLI community.
The workshop explores how modalities in substructural logics can control logical resource management, with applications in natural language syntax, semantics, and reasoning dynamics, supported by the Horizon 2020 MSCA-Rise project MOSAIC.
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 focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC .