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