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

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