Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Однодневный семинар по математической логике
24 июня 2024 г. 12:00–12:30, г. Москва, Покровский бульвар 11, аудитория R205
 


Исчисление Ламбека и синтаксические формальные понятия

С. Л. Кузнецов
Видеозаписи:
MP4 529.1 Mb
MP4 291.3 Mb
Дополнительные материалы:
Adobe PDF 231.2 Kb

Количество просмотров:
Эта страница:71
Видеофайлы:21
Материалы:9



Аннотация: Исчисление Ламбека L было введено в 1958 г. для математического описания синтаксиса естественных языков. Лингвистические приложения мотивируют интерпретацию L на алгебрах формальных языков. Относительно такой интерпретации верна теорема о слабой полноте (Пентус 1995), однако сильная полнота не имеет места. Более того, слабая полнота также исчезает при расширении L новыми операциями. В работах Вурма (2015–17) введена модификация моделей на алгебрах формальных языков, а именно, модели на решётках синтаксических формальных понятий (SCL). В SCL используется операция замыкания языков через множества допустимых контекстов: вместе с каждым словом в язык также добавляются все слова, которые могут употребляться в тех же самых окружениях. Эта идея более точно соответствует лингвистической интуиции, и для моделей на SCL получаются более сильные результаты о полноте. В докладе будут изложены некоторые новые результаты в этой области, в частности, для инфинитарного расширения L операцией итерации Клини.

Дополнительные материалы: Кузнецов.pdf (231.2 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024