• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклад Константина Шишова в МИАН им. Стеклова

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

Доклад Константина Шишова в МИАН им. Стеклова

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