Методы

Для многих из указанных подходов имеются инструменты.

Варианты категориальной грамматики

• Категориальная грамматика, синтаксическое исчисление Ламбека (генеалогия: Лесневкий, Айдукевич, Бар-Хиллел, Ламбек, Пентус)
• Symmetric Categorial Grammar (Lambek-Grishin Calculus)
• Combinatory Categorial Grammar (CCG)
• Multi-modal combinatory categorial grammar (MMCCG)
• Abstract Categorial Grammar - de Groote (2001)

Варианты (типизированного) лямбда-исчисления и линейная логика

• Формальная семантика (в строгом смысле) - Монтегю, B. Partee
• Glue Semantics (and LFG), см. тж. Probabilistic LFG Parser Demo
• Type Logical Grammar (TLG) - Morrill
• Constraint Language for Lambda Structures (CLLS)
• Minimal Recursion Semantics (MRS)

Варианты с использованием комбинаторной логики

• Applicative Universal Grammar, Шаумян, аппликативная грамматика

Связи с алгеброй, теорией категорий, теорией игр

• Комбинаторы монадических парсеров (Parsec)
• Independence-Friendly Logic - Hintikka, Sandu
• Недетерминистские многозначные логики
• Продолжения (continuations)

Разобрать

• Abstract Categorial Grammar (ACG) - de Groote (2001)
• Категориальные грамматики в приложениях к синтаксическому разбору - Lambek Calculus, Polymorphic Categorial Grammars, Interaction Grammars etc.
• Type-Logical Grammar (TLG) - Morrill
• IF Logic (Independence-Friendly logic) - Hintikka, Sandu
• Multi-modal Combinatory Categorial Grammar (MMCCG)
• Typed Feature Structure Grammars, s. Linguistic Knowledge Building (LKB) grammar development system, Prolog-embedding typed feature structure grammar (PETFSG)
• Tree Adjoining Grammar (TAG) and related - XTAG Project and tools, Tübingen Linguistic Parsing Architecture, MetaGrammar Toolkit, Parser LTAG du LORIA
• Head-Driven Phrase Structure Grammar (HPSG)
• Link Grammar