|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Секвенциальная аксиоматизация логики I<alpha,beta>тезисы доклада
- Автор: Попов В.М.
- Сборник: Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
- Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2013
- Место издания: Современные тетради Москва
- Первая страница: 27
- Последняя страница: 29
- Аннотация: Для произвольных alpha и beta из {0, 1, 2, 3,... omega}, определяется логика I<alpha,beta> и строится разрешимое секвенциальное исчисление, аксиоматизирующее эту логику.
- Добавил в систему: Попов Владимир Михайлович