RUS  ENG
Полная версия
СЕМИНАРЫ

Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
21 сентября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online


Семинар 2: Субструктурные логики и их приложения в лингвистике

С. Л. Кузнецов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


https://youtu.be/IUrBqreG44A

Аннотация: Субструктурными называются неклассические логические системы, в которых отсутствуют все или некоторые из структурных правил: сокращение (соответствует принципу $A \to A \wedge A$), ослабления ($A \to (B \to A)$), перестановки (коммутативности). Одной из самых базовых субструктурных логик является исчисление Ламбека (Ламбек, 1958), в котором отсутствуют все три указанных правила. Исчисление Ламбека было введено для применений в математической лингвистике; формулы этого исчисления означают синтаксические типы в языке. Будет рассказано об исчислении Ламбека, его расширениях и вариантах, их синтаксисе и семантике, и основанных на данных исчислениях формальных грамматиках.


© МИАН, 2025