б. X/Y Y -> X
      Действие аппликации подчиняется важному ограниче­
нию, постулированному Айдукевичем и сохранившемуся во
всех последующих версиях КГ, где оно было распростране­
но и на другие операции над типами. Требование это состо­
яло в контактном линейном расположении языковых выра­
жений, над типами которых производится операция.
      Сам Айдукевич предназначал разработанный им фор­
мализм для анализа предложений математического языка.
Однако позднее израильский логик И. Бар-Хиллел [Ваг-
Hillel 1953; 1964; Бар-Хиллел 1964 (1959)] показал примени­
мость данного формализма к предложениям естественного
языка. Рассмотрим простейшие примеры.
                                 668
Глава XIV. Категориальная грамматика