|
СЕМИНАРЫ |
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
|
|||
|
Реляционные модели для исчисления Ламбека С. Л. Кузнецов |
|||
Аннотация: Алгебры отношений можно рассматривать как частный случай решёток с делениями. Таким образом, они задают класс моделей для мультипликативно-аддитивного исчисления Ламбека (MALC) — так называемые реляционные модели, или R-модели. Будет рассказано о результатах о полноте и неполноте различных фрагментов и вариантов MALC относительно R-моделей, начиная с работы Андреки и Микулаша 1994 г. и до современных работ. |