ИСТИНА

• Охват: Международная
• Даты проведения: 7-8 августа 2023
• Место проведения: Любляна, Словения
• Организатор:
  University of Ljubljana
• Веб-сайт: https://sites.google.com/view/esslli2023course/workshop
• Описание конференции:

  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).

• Добавил в систему: Кузнецов Степан Львович

Доклады:

• 2023 Explorations in subexponential non-associative non-commutative linear logic (Устный)
• Авторы: Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre