Логика тензорных термов для категориальных грамматик

Классические категориальные грамматики — такие как грамматика Ламбека — с математической точки зрения представляют собой исчисления, основанные на некоммутативном варианте интуиционистской линейной логики. Однако давно замечено, что одних некоммутативных логических операций часто оказывается недостаточно для моделирования даже очень простых феноменов естественного языка, связанных с нелокальными зависимостями и передвижением составляющих. Поэтому в литературе обсуждается множество других вариантов категориальных грамматик — как использующих чисто "коммутативную" линейную логику, так и объединяющих (в той или иной степени) коммутативную и некоммутативную структуры. Логика тензорных термов, которую мы предлагаем, — один из вариантов такого объединения. Это логическая система специально сконструирована для определения категориальных грамматик. В ней легко кодируется как исчисление Ламбека, так и коммутативная линейная логика. При этом, по сравнению с другими исчислениями такого рода, она обладает довольно простым синтаксисом.