|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Интерполяционные свойства логик доказуемости GL и GLPстатья
- Автор: Шамканов Д.С.
- Сборник: Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна
- Серия: Труды Математического Института им. В.А.Стеклова
- Том: 274
- Год издания: 2011
- Издательство: МАИК "Наука/Интерпериодика"
- Местоположение издательства: Москва
- Первая страница: 329
- Последняя страница: 342
- Аннотация: Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики GL и равномерное интерполяционное свойство для логики GLP. ========================================================================= URL: http://mi.mathnet.ru/tm3323
- Добавил в систему: Золин Евгений Евгеньевич