|
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
3 ноября 2015 г. 18:30–20:05, г. Москва, Математический институт им.В.А.Стеклова РАН
|
 |
|
 |
|
|
|
Квадраты Сегерберга модальных логик и реляционные алгебры
В. Б. Шехтман |
| Количество просмотров: |
| Эта страница: | 158 |
|
Аннотация:
Квадраты Сегерберга - это квадраты модальных логик с дополнительными
модальностями, соответствующими диагональной симметрии
и проекциям на диагональ. Для этих логик в ряде случаев построена аксиоматика и доказана финитная аппроксимируемость. Следствием этих результатов является разрешимость некоторых фрагментов для классической логики предикатов и
для эквациональных теорий реляционных алгебр.
|
|
Обратная связь: