| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Квадраты Сегерберга модальных логик и реляционные алгебры В. Б. Шехтман |
|||
|
Аннотация: Квадраты Сегерберга - это квадраты модальных логик с дополнительными модальностями, соответствующими диагональной симметрии и проекциям на диагональ. Для этих логик в ряде случаев построена аксиоматика и доказана финитная аппроксимируемость. Следствием этих результатов является разрешимость некоторых фрагментов для классической логики предикатов и для эквациональных теорий реляционных алгебр. |
|||