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 .

对于传统逻辑中被视为理所当然的隐含结构规则提出质疑后，次结构逻辑催生了新的推理形式，并在许多跨学科领域中应用。在次结构设定中，情态提供了控制和优化逻辑资源管理的工具。本研讨会的重点是应用于 ESSLLI 社区兴趣领域的相关主题，特别是逻辑方法在自然语言句法和语义以及推理动态方面的应用。本研讨会由 Horizon 2020 MSCA-Rise 项目 MOSAIC 支持举办。