Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
21 декабря 2022 г. 18:00–19:30, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
 


Семинар 14. Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте

Константин Шишов
Видеозаписи:
MP4 2,928.7 Mb
MP4 1,585.0 Mb

Количество просмотров:
Эта страница:156
Видеофайлы:26



Аннотация: Доклад будет посвящен проблеме полноты исчисления Ламбека относительно реляционной семантики, который долгое время оставался открытым. Положительный ответ был дан в работе 1994 года Х. Андрекой и С. Микулашем: секвенциальное исчисление Ламбека, в котором отсутствуют выводы из пустых последовательностей, оказывается сильно полными относительно реляционных моделей с транзитивным бинарным отношением. Также авторами доказывается полнота исчисления Ламбека без условия непустоты относительно квадратных реляционных моделей.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024