Формальные системы в семантике естественных языков

Дмитрий Орлов, 3 октября 2007

В докладе рассказывается о типизированном lambda-исчислении в семантике, универсальной интерпретации именных групп (Generalized Quantifier) и других синтаксических категорий, а также о проблеме отрицания.