#матлог #спецсеминар #нпммвя

В четверг 19 марта в 18:00 на семинаре «Некоторые применения математических методов в языкознании» состоится онлайн-доклад Richard Moot (LIRMM, Монпелье, Франция) "First-order linear logic and categorial grammars".

Abstract:

First-order linear logic is the extension of multiplicative linear logic with first-order quantifiers. From the logical point of view, the logic has a simple graphical proof theory in the form of proof nets. I will show that the Lambek calculus and several of its extensions are natural fragments of first-order linear logic.

I argue that first-order linear logic should be seen as a sort of "machine language" underlying these different formalisms. This view provides a useful way to compare the different formalisms and allows us to show that although they start from different logical primitives, upon translation into first-order linear logic many of these treatments turn out to produce equivalent formulas in first-order linear logic.

Будет организована трансляция доклада на кафедре отделения теоретической и прикладной лингвистики МГУ (ауд. 953, 1-й учебный корпус МГУ), к которой могут присоединиться все желающие, имеющие пропуск в МГУ. К сожалению, оргкомитет не имеет возможности оформлять пропуска.

Ссылка для регистрации: https://forms.gle/JFc57ogmYZPXbgCm7
(зарегистрировавшиеся получат ссылку для онлайн-подключения)