ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Предъявлено два инфинитарных исчисления генценовского типа, расширяющих исчисление Ламбека операцией положительной итерации во фрагменте без умножения, где итерация допускается только в знаменателях операций деления. Для этих исчислений доказана полнота относительно моделей на подмножествах свободных полугрупп.