Исчисление Ламбека с релевантной модальностью

В докладе будет рассмотрено одно из расширений стандартного исчисления Ламбека. После добавления модальности специального вида, называемой релевантной субэкспоненциальной модальностью, данное исчисление позволяет корректно обрабатывать, например, такие лингвистические конструкции, как паразитическое извлечение (“the paper that John signed without reading” → “John signed the paper without reading the paper”). Будут рассмотрены лингвистические мотивации для такого исчисления, а также доказана его алгоритмическая неразрешимость.