Computer Sciences
Modalities in Substructural Logics
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
City:
Country:
Language:
English
Credits:
0 EC
Fee:
490 EUR
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
Fee
490 EUR, Early student registration
Fee
690 EUR, Early non-academic registration
Interested?
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
Language:
English
Credits:
0 EC