Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation

TL;DR

This paper explores how modalities in substructural logics can enhance reasoning about language and computation by controlling resource management, with applications in natural language semantics and reasoning dynamics.

Contribution

It introduces new applications of modalities within substructural logics to improve reasoning frameworks in interdisciplinary fields.

Findings

Modalities enable refined control of logical resources.

Applications to natural language syntax and semantics.

Enhanced reasoning dynamics in interdisciplinary contexts.

Abstract

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 .