УДК 510.649

О длине совмещающего типа в исчислении Ламбека / А. А. Сорокин. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2011. № 3. С. 10-14.

В 1992 г. М. Р. Пентусом был установлен критерий существования такого типа C, что для данных типов A и B секвенции A → C и B → C являются выводимыми в исчислении Ламбека. В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины.

Ключевые слова: исчисление Ламбека, интерпретация в свободной группе, совместимость, совмещающий тип.

Библиогр. 4.

К оглавлению номера  Go!