ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1999, ТОМ 5, ВЫПУСК 1, СТР. 193-219

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

М. Р. Пентус

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

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

Полнотекстовая версия статьи в формате PostScript (99 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/99/991/99112h.htm
Изменения вносились 27 апреля 1999