Полнота синтаксического исчисления Ламбека

В работе доказывается, что синтаксическое исчисление Ламбека полно относительно моделей на свободных полугруппах, т. е. в нем выводимы все тождества, связывающие умножение, левое и правое деление формальных языков, и только они.