Доклад К.В.Шишова: "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте"

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

Начало 18:00, место — ауд. 313 МИАН. Возможно также подключение через Zoom, для этого свяжитесь (заранее) с одним из руководителей семинара.

(http://www.mathnet.ru/conf2141