Реляционные модели для исчисления Ламбека

Алгебры отношений можно рассматривать как частный случай решёток с делениями. Таким образом, они задают класс моделей для мультипликативно-аддитивного исчисления Ламбека (MALC) — так называемые реляционные модели, или R-модели. Будет рассказано о результатах о полноте и неполноте различных фрагментов и вариантов MALC относительно R-моделей, начиная с работы Андреки и Микулаша 1994 г. и до современных работ.