тельное влияние на ее развитие и в наши дни. Главным об­
разом они были связаны с исследованиями канадского ло­
гика И. Ламбека, опубликовавшего в 1958 г. в ежемесяч­
ном бюллетене Американского математического общества
статью под названием «Математическое исследование стру­
ктуры предложения» (статья была перепечатана в
[Buszkowski et al. 1988], что показывает ее актуальность для
современной КГ; русский перевод см. [Ламбек 1964]). Лам-
бек предложил процедуру распознавания грамматичных
предложений английского языка, впоследствие названную
«исчислением Ламбека» (Lambek calculus). В целом исчисле­
ние Ламбека повторяет основные особенности описанной в
п. 1 «распознающей» процедуры Айдукевича (несмотря на
некоторое изменение нотации). Неизменной осталась идея
приписывания деривационным путем символа S тем и толь­
ко тем цепочкам слов, которые представляют собой грамма­
тичные предложения; в целом без изменений остался и ин­
вентарь сложных типов, приписываемых словам различных
частей речи.
     Изменения коснулись операций, совершаемых над ти­
пами. К аппликации Ламбек добавил несколько других опе­
раций, из которых мы рассмотрим две, широко применя­
ющиеся в современных исследованиях по КГ (заметим, что
нотация Ламбека существенно отличалась от нотации совре­
менной КГ, которую мы здесь используем).
     • Композиция — операция приписывает единый слож­
ный тип цепочке из двух сложных типов. Возможны четыре
типа композиции в зависимости от направлений косых черт: