Cтраница 5
ЕЯ, а не в зависимости лишь от их собственного строения, как это делается в КСГ. Впервые логика хорновских дизъюнктов для представления контекстной зависимости была использована Колмероэ ( 1978) в процессе разработки метаморфозных грамматик, для которых грамматики определенных дизъюнктов образуют нормальную форму. Колмероэ ( 1982) приводит логическую формулировку в виде этих грамматик одного полезного подмножества ЕЯ, показывая, в частности, как в строго классической логике могут представляться расширенные понятия квантификации с тем, чтобы отличать семантически осмысленные предложения естественного языка от бессмысленных. [61]